2736 search results - page 327 / 548 » Implementable allocation rules |
174
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we are interested in the sender's name extraction in fax cover pages through a machine learning scheme. For this purpose, two analysis methods are implemented ...
271
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
276
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
114
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We present a mechanism for initiating mediated conversations through eye contact. An eyePHONE is a physical proxy of a remote individual that senses and conveys attention using an...
164
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...