2875 search results - page 317 / 575 » Model checking agentspeak |
103
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
127
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
162
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we describe a new design of a recognition system for a single image of indoor scene including complex occlusions. In our system, rst, the system estimates 3D struc...
115
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
For high-data-rate applications, turbo-like iterative decoders are implemented with parallel hardware architecture. However, to achieve high throughput, concurrent accesses to each...
148
Voted
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...