3457 search results - page 81 / 692 » A Symbol Is Not a Symbol |
113
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
ECIS
2004
15 years 2 months ago
2004
Being hailed as possessing the ability to "drive effective business reengineering and management of core and support processes", it is not surprising that Enterprise Res...
88
Voted
CG
2005
Springer
15 years 16 days ago
2005
Springer
Sketch-based user interfaces provide a more direct and convenient way for interacting with computers, especially for performing graphical tasks. Most computer programs provide a m...
108
click to vote
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
129
Voted
SGAI
2010
Springer
14 years 7 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...