3552 search results - page 468 / 711 » Proof theory in the abstract |
169
Voted
ICALP
2010
Springer
15 years 11 months 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...
164
Voted
ICCHP
2010
Springer
15 years 11 months 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...
189
click to vote
CDC
2009
IEEE
15 years 11 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...
205
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper focuses on Active Learning with a limited number of queries; in application domains such as Numerical Engineering, the size of the training set might be limite...
162
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...