193 search results - page 30 / 39 » Modeling Environment for Component Model Checking from Hiera... |
IJIS
2002
13 years 8 months ago
2002
ior-based robots, planning is necessary to elaborate abstract plans that resolve complex navigational tasks. Usually maps of the environment are used to plan the robot motion and t...
KDD
1997
ACM
14 years 24 days ago
1997
ACM
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
PEWASUN
2007
ACM
13 years 10 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
MOBISYS
2006
ACM
14 years 8 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
VRML
2004
ACM
14 years 2 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...