Sciweavers

13489 search results - page 666 / 2698
» Operating System
Sort
View
CSL
2003
Springer
16 years 12 days ago
A Logic for Probability in Quantum Systems
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
Ron van der Meyden, Manas Patra
FSR
2003
Springer
128views Robotics» more  FSR 2003»
16 years 12 days ago
Development of a Terrain Adaptive Stability Prediction System for Mass Articulating Mobile Robots
Dynamic stability is an important issue for vehicles which move heavy loads, turn at speed, or operate on sloped terrain. In many cases, vehicles face more than one of these chall...
Antonio Diaz-Calderon, Alonzo Kelly
HICSS
2002
IEEE
68views Biometrics» more  HICSS 2002»
16 years 4 days ago
Framing Virtual Interactivity between Government and Citizens: A Study of Feedback Systems in the Chicago Police Department
This paper considers the current efforts to describe the effect of Internet-based technology on interactivity between citizens and public organizations to be incomplete and poorly...
Shelley Fulla, Eric W. Welch
ISPAN
2002
IEEE
16 years 3 days ago
Parallel Selection Query Processing Involving Index in Parallel Database Systems
Index is an important element in databases, and the existence of index is unavoidable. When an index has been built on a particular attribute, database operations (e.g. selection,...
J. Wenny Rahayu, David Taniar
APN
2001
Springer
15 years 11 months ago
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
Marko Mäkelä