5863 search results - page 737 / 1173 » On Model-Checking of P Systems |
155
click to vote
MOC
2000
15 years 6 months ago
2000
Let K be a totally real algebraic number field and O an order in a quaternion algebra A over K. Assume that the group O1 of units in O with reduced norm equal to 1 is embedded into...
179
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- This paper describes a navigation system that allowed a robot to complete 26.2 miles of autonomous navigation in a real office environment. We present the methods requir...
179
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
Swarm Intelligence has been a successful approach to solve some combinatorial problems through the metaphor of interacting evolving individuals of a a population P in a closed toru...
147
click to vote
JAMIA
2010
15 years 1 months ago
2010
Objective Computerized provider order entry (CPOE) has been shown to improve patient safety by reducing medication errors and subsequent adverse drug events (ADEs). Studies demons...
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present techniques for processing MPEG-audio encoded signals during the decoding process, using efficient fixed-point arithmetic operations. A large signal-to-quantization-no...