5550 search results - page 98 / 1110 » Different Approaches to Proof Systems |
177
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In today's world, form processing systems must be able to recognize mutant forms that appear to be based on differing templates but are actually only a variation of the origi...
173
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
Basic approaches to computer lab management range along a spectrum from total lockdown of lab computers to total freedom. Total lockdown, which can be implemented with system perm...
153
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
204
click to vote
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a rule-based system for automatic extraction of definitions from Portuguese texts. As input, this system takes text that is previously annotated with morph...
161
click to vote
WSC
2007
15 years 8 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...