4460 search results - page 699 / 892 » Formal methods for interactive systems |
119
click to vote
SIGGRAPH
1997
ACM
15 years 8 months ago
1997
ACM
Nonphotorealistic rendering (NPR) can help make comprehensible but simple pictures of complicated objects by employing an economy of line. But current nonphotorealistic rendering ...
133
click to vote
NIPS
2001
15 years 5 months ago
2001
We present a principled and efficient planning algorithm for cooperative multiagent dynamic systems. A striking feature of our method is that the coordination and communication be...
124
click to vote
ALIFE
2007
15 years 4 months ago
2007
Cross-reactions and other systematic difficulties generated by the coupling of functional chemical subsystems pose the largest challenge for assembling a viable protocell in the la...
154
click to vote
BIB
2007
15 years 4 months ago
2007
The collection of multiple genome-scale datasets is now routine, and the frontier of research in systems biology has shifted accordingly. Rather than clustering a single dataset t...
175
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this chapter we consider a cell phone network as a set of automatically deployed sensors that records movement and interaction patterns of the population. We discuss methods fo...