1914 search results - page 318 / 383 » Verification by Abstract Interpretation |
COMPSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
IAT
2005
IEEE
14 years 3 months ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
ICCV
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract. This paper describes the development of a real-time perceptive user interface. Two cameras are used to detect a user’s head, eyes, hand, fingers and gestures. These cu...
ICPPW
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Autonomous mobile agents require object recognition for high level interpretation and localization in complex scenes. In urban environments, recognition of buildings mi...