Sciweavers

9726 search results - page 1574 / 1946
» An Approach to Optimize Data Processing in Business Processe...
Sort
View
HICSS
1994
IEEE
127views Biometrics» more  HICSS 1994»
15 years 11 months ago
Angel: Resource Unification in a.64-bit Microkernel
The appearance of 64-bit processors allows a new approach to microkernel desagn From our experience with a message passang microkernel MESHIX, we discovered that a multi-address s...
Kevin Murray, Tim Wilkinson, Tom Stiemerling, Paul...
COMPASS
1994
15 years 11 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
ICLP
2010
Springer
15 years 10 months ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei
CCIA
2008
Springer
15 years 8 months ago
The SLAM problem: a survey
This paper surveys the most recent published techniques in the field of Simultaneous Localization and Mapping (SLAM). In particular it is focused on the existing techniques availab...
Josep Aulinas, Yvan R. Petillot, Joaquim Salvi, Xa...
ALT
2010
Springer
15 years 8 months ago
Towards General Algorithms for Grammatical Inference
Many algorithms for grammatical inference can be viewed as instances of a more general algorithm which maintains a set of primitive elements, which distributionally define sets of ...
Alexander Clark
« Prev « First page 1574 / 1946 Last » Next »