5550 search results - page 973 / 1110 » Different Approaches to Proof Systems |
195
click to vote
DICTA
2007
15 years 8 months ago
2007
The large shape variability and partial occlusions challenge most object detection and tracking methods for nonrigid targets such as pedestrians. Single camera tracking is limited...
178
click to vote
LREC
2010
15 years 8 months ago
2010
Semantic lexicons and lexical ontologies are some major resources in natural language processing. Developing such resources are time consuming tasks for which some automatic metho...
145
click to vote
LREC
2010
15 years 8 months ago
2010
This paper introduces the results of integration of lexical and terminological resources, most of them developed within the Human Language Technology (HLT) Group at the University...
197
click to vote
HIS
2007
15 years 8 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
159
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Recently, a new generation of adaptive Process-Aware Information Systems (PAIS) has emerged, which allows for dynamic process and service changes (e.g., to insert, delete, and mov...