134 search results - page 10 / 27 » Open Problems from CCCG 2006 |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
With the proliferation of camera phones, new information retrieval applications will emerge. The image of a scene captured by a camera phone can be a query to a remote server to i...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
The domain of language resources is fragmented in many dimensions. Institutional fragmentation is currently being addressed by Grid projects, which will allow access to resources ...
WSE
2006
IEEE
14 years 1 months ago
2006
IEEE
An approach for mining repositories of web-based user documentation for patterns of evolutionary change in the context of internationalization and localization is presented. Sets ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...