Sciweavers

383 search results - page 73 / 77
» Workflow Planning on a Grid
Sort
View
AAAI
2008
14 years 10 months ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor
MICCAI
2006
Springer
15 years 10 months ago
Fast and Accurate Connectivity Analysis Between Functional Regions Based on DT-MRI
Diffusion tensor and functional MRI data provide insight into function and structure of the human brain. However, connectivity analysis between functional areas is still a challeng...
Dorit Merhof, Mirco Richter, Frank Enders, Peter H...
ICRA
2009
IEEE
155views Robotics» more  ICRA 2009»
15 years 4 months ago
Monte Carlo simultaneous localization of multiple unknown transient radio sources using a mobile robot with a directional antenn
— We report our system and algorithm developments that enable a single mobile robot equipped with a directional antenna to simultaneously localize multiple unknown transient radi...
Dezhen Song, Chang-Young Kim, Jingang Yi
CLUSTER
2008
IEEE
15 years 4 months ago
Empirical-based probabilistic upper bounds for urgent computing applications
—Scientific simulation and modeling often aid in making critical decisions in such diverse fields as city planning, severe weather prediction and influenza modeling. In some o...
Nick Trebon, Peter H. Beckman
ICAC
2008
IEEE
15 years 4 months ago
Towards a Self-Configurable Weather Research and Forecasting System
Current weather forecast and visualization systems lack the scalability to support numerous customized requests for weather research and forecasting, especially at the time of nat...
Khalid Saleem, Seyed Masoud Sadjadi, Shu-Ching Che...