11436 search results - page 287 / 2288 » Modeling Real Reasoning |
206
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper we give a new model for foreground-background-shadow separation. Our method extracts the faithful silhouettes of foreground objects even if they have partly...
253
click to vote
ECRTS
2005
IEEE
16 years 26 days ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
205
click to vote
PRDC
2005
IEEE
16 years 25 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
224
click to vote
WORDS
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
197
click to vote
ICCSA
2004
Springer
16 years 19 days ago
2004
Springer
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...