573 search results - page 31 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— We report an autonomous observation system with multiple pan-tilt-zoom (PTZ) cameras assisted by a fixed wideangle camera. The wide-angle camera provides large but low resolut...
CCS
2008
ACM
14 years 12 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
IEEEICCI
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
156
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
IPPS
1997
IEEE
15 years 2 months ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...