2152 search results - page 278 / 431 » A Framework for Modeling DNA Based Molecular Systems |
181
click to vote
IGPL
2000
15 years 6 months ago
2000
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
174
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper describes a test-bed for planar micro manipulation tasks and a framework for planning based on quasistatic models of mechanical systems with frictional contacts. We ...
153
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
260
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
This paper proposes a demo of the TopX search engine, an extensive framework for unified indexing, querying, and ranking of large collections of unstructured, semistructured, and ...
187
click to vote
WSC
2001
15 years 7 months ago
2001
The problem of efficient load distribution and scaling of large-scale wireless communication system simulation on multiprocessor architectures (both shared memory and cluster arra...