Sciweavers

3311 search results - page 362 / 663
» Deductive Object Programming
Sort
View
ERSHOV
1989
Springer
15 years 7 months ago
Experiments with Implementations of Two Theoretical Constructions
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
Torben Amtoft Hansen, Thomas Nikolajsen, Jesper La...
DEXA
2009
Springer
124views Database» more  DEXA 2009»
15 years 10 months ago
VisiNav: Visual Web Data Search and Navigation
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
Andreas Harth
118
Voted
ICDCS
2007
IEEE
15 years 9 months ago
A Virtual Node-Based Tracking Algorithm for Mobile Networks
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
Tina Nolte, Nancy A. Lynch
115
Voted
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 9 months ago
Learning and Evaluation of the Approach Vector for Automatic Grasp Generation and Planning
— In this paper, we address the problem of automatic grasp generation for robotic hands where experience and shape primitives are used in synergy so to provide a basis not only f...
Staffan Ekvall, Danica Kragic
111
Voted
MM
2006
ACM
134views Multimedia» more  MM 2006»
15 years 9 months ago
Autonomous light air vessels (ALAVs)
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
Jed Berk, Nikhil Mitter