Sciweavers

1606 search results - page 143 / 322
» Using task analysis in documentation field research
Sort
View
154
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 7 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
JNW
2008
97views more  JNW 2008»
15 years 3 months ago
Vehicle Identification using Discrete Spectrums in Wireless Sensor Networks
We studied the possibility of using wireless sensor networks for vehicle identification in a large open field. This is exciting research in that it not only presents a challenge bu...
Seung S. Yang, Yoon G. Kim, Hongsik Choi
144
Voted
IJCV
2006
112views more  IJCV 2006»
15 years 3 months ago
Non-Single Viewpoint Catadioptric Cameras: Geometry and Analysis
Conventional vision systems and algorithms assume the imaging system to have a single viewpoint. However, these imaging systems need not always maintain a single viewpoint. For ins...
Rahul Swaminathan, Michael D. Grossberg, Shree K. ...
143
Voted
IJIT
2004
15 years 4 months ago
Parallezation Protein Sequence Similarity Algorithms using Remote Method Interface
One of the major problems in genomic field is to perform sequence comparison on DNA and protein sequences. Executing sequence comparison on the DNA and protein data is a computatio...
Mubarak Saif Mohsen, Zurinahni Zainol, Rosalina Ab...
113
Voted
CLEF
2006
Springer
15 years 7 months ago
Monolingual and Bilingual Experiments in GeoCLEF2006
This paper presents the results of our initial experiments in the monolingual English, Spanish and Portuguese tasks and the Bilingual Spanish English, Spanish Portuguese, Englis...
Rocio Guillén