708 search results - page 66 / 142 » Precise Specification and Automatic Application of Design Pa... |
151
click to vote
AND
2010
15 years 1 months ago
2010
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
144
Voted
ICCAD
2002
IEEE
16 years 9 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
130
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Geographic information has spawned many novel Web applications where global positioning system (GPS) plays important roles in bridging the applications and end users. Learning kno...
131
Voted
IAT
2003
IEEE
15 years 8 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
126
Voted
GIS
2002
ACM
15 years 3 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...