6020 search results - page 530 / 1204 » A New Approach to Model Counting |
207
click to vote
AMS
2007
Springer
16 years 1 months ago
2007
Springer
Autonomous robots that can adapt to novel situations has been a long standing vision of robotics, artificial intelligence, and cognitive sciences. Early approaches to this goal du...
183
click to vote
WEBDB
2010
Springer
16 years 4 days ago
2010
Springer
Wikipedia has become an important source of information which is growing very rapidly. However, the existing infrastructure for querying this information is limited and often igno...
200
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The detection of new information in a document stream is an important component of many potential applications. In this work, a new novelty detection approach based on the identif...
168
click to vote
ASWEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Agile Software Development Methods are nowadays wide spread and accepted. From the Software Measurement point-of-view not all metrics and methods from conventional lifecycle model...
165
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...