Sciweavers

59 search results - page 7 / 12
» The RUBI project: a progress report
Sort
View
82
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
OIR
2011
401views Neural Networks» more  OIR 2011»
14 years 11 days ago
Using Online Collaborative Tools for Groups to Co-Construct Knowledge
(limit 250 words) Purpose This paper reports and describes the use of MediaWiki and Google Docs at undergraduate level as online collaboration tools for co-constructing knowledge i...
Sam Kai Wah Chu, David M. Kennedy
CRV
2005
IEEE
143views Robotics» more  CRV 2005»
15 years 3 months ago
Controlling Camera and Lights for Intelligent Image Acquisition and Merging
Docking craft in space and guiding mining machines are areas that often use remote video cameras equipped with one or more controllable light sources. In these applications, the p...
Olena Borzenko, Yves Lespérance, Michael R....
DMSN
2004
ACM
15 years 3 months ago
MEADOWS: modeling, emulation, and analysis of data of wireless sensor networks
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
Qiong Luo, Lionel M. Ni, Bingsheng He, Hejun Wu, W...
96
Voted
CIA
2001
Springer
15 years 2 months ago
Extending a Multi-agent System for Genomic Annotation
The explosive growth in genomic (and soon, expression and proteomic) data, exemplified by the Human Genome Project, is a fertile domain for the application of multi-agent informat...
Keith Decker, Salim Khan, Carl Schmidt, Dennis Mic...