1585 search results - page 234 / 317 » A framework for computer-aided validation |
132
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
128
click to vote
IAT
2005
IEEE
15 years 9 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...
146
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we propose a semantic routing and filtering framework for large-scale monitoring of video streams. Our goal is to build a distributed system that at any given time ...
124
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Building cooperatively 3-D maps of unknown environments is one of the application fields of multi-robot systems. This article addressesthatproblemthroughaprobabilisticapproachbas...
163
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Current Systems-On-Chip execute applications that demand extensive parallel processing. Networks-On-Chip (NoC) provide a structured way of realizing interconnections on silicon...