4460 search results - page 655 / 892 » Formal methods for interactive systems |
203
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we first discuss the meaning of physical embodiment and the complexity of the environment in the context of multi-agent learning. We then propose a vision-based rei...
155
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
The study of biological networks and network motifs can yield significant new insights into systems biology. Previous methods of discovering network motifs ? network-centric subgra...
177
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
187
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
In the near future, Ambient Intelligence (AmI) will become part of everyday life. Combining feature-rich multimedia with AmI (dubbed Ambient Multimedia for short) has the potentia...
170
click to vote
VRML
1999
ACM
15 years 10 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...