6020 search results - page 591 / 1204 » A New Approach to Model Counting |
167
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ...
166
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Most research in machine learning focuses on scenarios in which a learner faces a single learning task, independently of other learning tasks or prior knowledge. In reality, ho...
216
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
191
click to vote
CIKM
2005
Springer
16 years 22 days ago
2005
Springer
The detection of new information in a document stream is an important component of many potential applications. In this paper, a new novelty detection approach based on the identi...
206
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...