Sciweavers

2406 search results - page 458 / 482
» Visualizations: speech, language
Sort
View
80
Voted
CDB
2004
Springer
158views Database» more  CDB 2004»
15 years 1 months ago
Constraint Databases, Data Structures and Efficient Query Evaluation
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
Joos Heintz, Bart Kuijpers
91
Voted
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 1 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
94
Voted
ECCV
2010
Springer
15 years 26 days ago
What does classifying more than 10,000 image categories tell us?
Image classification is a critical task for both humans and computers. One of the challenges lies in the large scale of the semantic space. In particular, humans can recognize tens...
AIIDE
2008
14 years 12 months ago
An Intelligent IDE for Behavior Authoring in Real-Time Strategy Games
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
Suhas Virmani, Yatin Kanetkar, Manish Mehta, Santi...
WSC
2008
14 years 12 months ago
Guidelines for commercial off-the-shelf Simulation Package interoperability
Commercial-off-the-shelf (COTS) Simulation Packages (CSPs) are widely used visual interactive modeling environments such as ArenaTM, AnylogicTM, FlexsimTM, Simul8TM, WitnessTM, et...
Simon J. E. Taylor, Stephen John Turner, Steffen S...