Sciweavers

5216 search results - page 615 / 1044
» Planning as Model Checking
Sort
View
FMICS
2007
Springer
16 years 29 days ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
ICIP
2009
IEEE
16 years 7 months ago
Circular Blurred Shape Model For Symbol Spotting In Documents
Symbol spotting problem requires feature extraction strategies able to generalize from training samples and to localize the target object while discarding most part of the image. ...
WWW
2008
ACM
16 years 7 months ago
Exploiting semantic web technologies to model web form interactions
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
Bernhard Krüpl, Robert Baumgartner, Wolfgang ...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Towards a Systems Engineering Pattern Language: Applying i* to Model Requirements-Architecture Patterns
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
Pete Pavan, Neil A. M. Maiden, Xiaohong Zhu
ICRA
2009
IEEE
151views Robotics» more  ICRA 2009»
16 years 1 months ago
A framework for modeling steady turning of robotic fish
— In this paper we present a novel framework for computing the steady turning motion of a robotic fish undergoing periodic body and/or tail deformation. Taking the turning radiu...
Qingsong Hu, Dawn R. Hedgepeth, Lihong Xu, Xiaobo ...