613 search results - page 111 / 123 » A New Perspective on Stable Models |
ESWS
2009
Springer
14 years 2 months ago
2009
Springer
CULTURESAMPO is an application demonstration of a national level publication system of cultural heritage contents on the Web, based on ideas and technologies of the Semantic (Web a...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...
BIRTHDAY
2010
Springer
14 years 14 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
ICCV
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper explores the direct motion estimation problem assuming that video-rate depth information is available, from either stereo cameras or other sensors. We use these depth m...
IEEEPACT
2006
IEEE
14 years 1 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...