## Home > Tags: engines (Total 24 Records)

### Test Pattern Generation using Boolean Proof Engines

Digital Signal Processing By:Rolf Drechsler 2009-04-29 00:00:00

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. boolean proof engines, test pattern generation, classical atpg algorithms, sat problem, basic concept

Tags:
*pattern*
*test*
*engines*
*generation*
*proof*

### HTML5 Game Engines: App Development and Distribution

Game Development By:Dan Nagle 2014-00-00 00:00:00

Build and Distribute Your Game Using an HTML5 Game Engine As mobile hardware improves, HTML5 is gradually being used for gaming apps and a growing industry of game engines has begun to support it. HTML5 Game Engines: App Development and Distribution presents an introduction to development with HTML5 game engines, app development, html5 game engine, html5 game engines, basic pong game

Tags:
*game*
*engines*
*development*
*app*
*distribution*
*html5*

### Next Generation Search Engines: Advanced Models for Information Retrieval

Web Development By:Christophe Jouis 2012-03-31 00:00:00

Next Generation Search Engines: Advanced Models for Information Retrieval is intended for scientists and decision-makers who wish to gain working knowledge about search in order to evaluate available solutions and to dialogue with software and data providers. The book aims to provide readers with a generation search engines, advanced models, information retrievalnext generation, applied research.next generation, available solutions

### Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Algorithms By:Christian Herde 2011-02-10 00:00:00

Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures fo complex boolean structure, large arithmetic constraint, arithmetic constraint systems, hybrid discrete-continuous systems, hybrid discrete-continuous systemsdue

Tags:
*arithmetic*
*structure*
*analysis*
*system*
*engines*
*efficient*
*constraint*
*hybrid*
*proof*

### Introduction to Video Search Engines

Algorithms By:David C. Gibbon 2008-11-17 00:00:00

Video search engines enable users to take advantage of constantly growing video resources like, for example, video on demand, Internet television and YouTube, for a wide variety of applications including entertainment, education and communications. David Gibbon and Zhu Liu describe the current state video search, video search engines, information retrieval, video search enginesvideo, video search engine

### Understanding Search Engines: Mathematical Modeling and Text Retrieval (Software, Environments, Tools), Second Edition

Computers (Other) By:Michael W. Berry 2005-04-28 00:00:00

There is no other information retrieval/search book where the heart is the mathematical foundations. This book is greatly needed to further establish information retrieval as a serious academic, as well as practical and industrial, area. Jaime Carbonell, Carnegie Mellon University Berry and Browne text retrieval, competent engineering undergraduates, information retrieval/search book, carnegie mellon university, solid mathematical underpinnings

Tags:
*software*
*search*
*model*
*engines*
*retrieval*
*tool*
*environment*
*mathematical*

### Relevance Ranking for Vertical Search Engines

Internet By:Bo Long 2014-02-14 00:00:00

In plain, uncomplicated language, and using detailed examples to explain the key concepts, models, and algorithms in vertical search ranking, Relevance Ranking for Vertical Search Engines teaches readers how to manipulate ranking algorithms to achieve better results in real-world applications. Thi location-based relevance ranking, vertical search, vertical search ranking, vertical search engines, real-world examplesrelevance ranking

### Realtime Data Mining: Self-Learning Techniques for Recommendation Engines (Applied and Numerical Harmonic Analysis)

Databases By:Alexander Paprotny 2013-12-16 00:00:00

Describing novel mathematical concepts for recommendation engines, Realtime Data Mining: Self-Learning Techniques for Recommendation Engines features a sound mathematical framework unifying approaches based on control and learning theories, tensor factorization, and hierarchical methods. Furthermore realtime data mining, recommendation engines, numerical harmonic analysis, self-learning techniques, data mining systems

Tags:
*data*
*analysis*
*technique*
*engines*
*numerical*
*mining*
*realtime*
*harmonic*
*recommendation*

### Introduction to Video Search Engines

Algorithms By:David C. Gibbon, Zhu Liu 2008-00-00 00:00:00

Video search engines enable users to take advantage of constantly growing video resources like, for example, video on demand, Internet television and YouTube, for a wide variety of applications including entertainment, education and communications. David Gibbon and Zhu Liu describe the current state video search, information retrieval, search engines, video search engines, constituent technologies

### An Introduction to Search Engines and Web Navigation (2005 ed.)

Internet By:Mark Levene 2005-00-00 00:00:00

The volume and range of information on the World-Wide-Web is awe-inspiring. Without search engines to almost instantly locate relevant web pages for us, and the navigation tools within web browsers, using this huge resource would be almost impossible. An Introduction to Search Engines and Web Navig search engines, navigation, web navigation, relevant web pages, daily online lives

Tags:
*web*
*search*
*navigation*
*engines*