908 search results - page 96 / 182 » Generating maximal models using the stable model semantics |
159
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
For the past two years the Moving Pictures Expert Group (MPEG), a working group of ISO/IEC, have been developing MPEG-7 [1], the "Multimedia Content Description Interface"...
178
click to vote
ECMDAFA
2009
Springer
15 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
148
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
In this paper we present an adaptive but robust object
detector for static cameras by introducing classifier grids.
Instead of using a sliding window for object detection we
pro...
140
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
129
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...