Sciweavers

4842 search results - page 752 / 969
» A Calculus for Data Mapping
Sort
View
SAC
2008
ACM
15 years 6 months ago
Designing semantic web services using conceptual model
There are emerging technologies such as SAWSDL or WSMO that extend the current Web Services technologies to so called Semantic Web Services by combining the structural and semanti...
Martin Necasky, Jaroslav Pokorný
SCFBM
2008
119views more  SCFBM 2008»
15 years 6 months ago
Boolean network simulations for life scientists
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
István Albert, Juilee Thakar, Song Li, Ranr...
ICRA
2010
IEEE
467views Robotics» more  ICRA 2010»
15 years 5 months ago
WiFi localization and navigation for autonomous indoor mobile robots
— Building upon previous work that demonstrates the effectiveness of WiFi localization information per se, in this paper we contribute a mobile robot that autonomously navigates ...
Joydeep Biswas, Manuela M. Veloso
IEEECIT
2010
IEEE
15 years 5 months ago
Model-Level Debugging of Embedded Real-Time Systems
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birk...
MIAR
2010
IEEE
15 years 5 months ago
Marker-Free Registration for Electromagnetic Navigation Bronchoscopy under Respiratory Motion
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
Marco Feuerstein, Takamasa Sugiura, Daisuke Deguch...