1614 search results - page 55 / 323 » Learning Rules and Their Exceptions |
TYPES
2007
Springer
15 years 3 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
NAACL
2007
14 years 11 months ago
2007
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...
CVPR
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper we give a complete characterization of critical configurations for projective reconstruction with any number of points and views. A set of cameras and points is said...
TIT
2002
14 years 9 months ago
2002
We consider the problem of binary hypothesis testing using binary decisions from independent and identically distributed (i.i.d). sensors. Identical likelihood-ratio quantizers wit...