3771 search results - page 187 / 755 » Subobject Transformation Systems |
236
Voted
FROCOS
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
143
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
—In this paper, we present a novel method to recognize characters with severe perspective distortion using hash tables and perspective invariants. The proposed algorithm consists...
141
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
145
Voted
MOMPES
2006
IEEE
15 years 9 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
110
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...