573 search results - page 31 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
128
Voted
IROS
2009
IEEE
15 years 10 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...
132
Voted
CCS
2008
ACM
15 years 5 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...
142
Voted
IEEEICCI
2002
IEEE
15 years 8 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...
210
Voted
GIS
2006
ACM
16 years 4 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...
137
Voted
IPPS
1997
IEEE
15 years 7 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...