3333 search results - page 381 / 667 » Abstract Proof Search |
188
click to vote
ECOOP
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
186
click to vote
ICALP
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. This paper tackles three algorithmic problems for probabilistic automata on finite words: the Emptiness Problem, the Isolation Problem and the Value 1 Problem. The Empti...
194
click to vote
ICALP
2010
Springer
16 years 1 days ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
178
click to vote
ICCHP
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. While there are many barcode readers available for identifying products in a supermarket or at home on mobile phones (e.g., Red Laser iPhone app), such readers are inacce...
213
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract— For a right-invariant and controllable driftless system on SU(n), we consider a time-periodic reference trajectory along which the linearized control system generates s...