29172 search results - page 240 / 5835 » Modeling Systems in CLP |
157
click to vote
SMI
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we present a controllable, fast and efficient particle system framework for skeletal implicit surfaces defined by the BlobTree model. We propose efficient algori...
165
click to vote
ICEBE
2005
IEEE
16 years 7 days ago
2005
IEEE
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
155
click to vote
FORMATS
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
167
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
154
click to vote
SIGIR
1998
ACM
15 years 11 months ago
1998
ACM
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...