203 search results - page 25 / 41 » An Analysis of Monotone Follower Problems for Diffusion Proc... |
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
COR
2010
13 years 6 months ago
2010
We present a search space analysis and its application in improving local search algorithms for the graph coloring problem. Using a classical distance measure between colorings, w...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— This paper focuses on the dribbling control problem of an omnidirectional mobile robot. Because the movement of the dribbled object must be considered, dribbling contro...
ICCS
2003
Springer
13 years 12 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...