64 search results - page 8 / 13 » Tractable Classes for Directional Resolution |
114
Voted
COLING
2010
14 years 10 months ago
2010
The Varro toolkit is a system for identifying and counting a major class of regularity in treebanks and annotated natural language data in the form of treestructures: frequently r...
122
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Many problems in computer vision involving recognition and/or classification can be posed in the general framework of supervised learning. There is however one aspect of image dat...
125
Voted
IJCAI
2003
15 years 5 months ago
2003
A longstanding goal in planning research is the ability to generalize plans developed for some set of environments to a new but similar environment, with minimal or no replanning....
140
click to vote
ENTCS
2007
15 years 3 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
151
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Experimental studies of gene expression have identified some of the individual molecular components and elementary reactions that comprise and control cellular behavio...