7557 search results - page 1440 / 1512 » Modeling Timed Concurrent Systems |
117
click to vote
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
MSWIM
2009
ACM
15 years 8 months ago
2009
ACM
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...
108
click to vote
SSDBM
2005
IEEE
15 years 7 months ago
2005
IEEE
Data products generated from remotely-sensed, geospatial imagery (RSI) used in emerging areas, such as global climatology, environmental monitoring, land use, and disaster managem...
125
click to vote
SIGGRAPH
1994
ACM
15 years 5 months ago
1994
ACM
Range imaging offers an inexpensive and accurate means for digitizing the shape of three-dimensional objects. Because most objects self occlude, no single range image suffices to ...
101
click to vote
AAAI
2007
15 years 3 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...