Sciweavers

2713 search results - page 314 / 543
» Parameterized Tree Systems
Sort
View
ECSQARU
2007
Springer
16 years 22 days ago
Dialectical Explanations in Defeasible Argumentation
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
Alejandro Javier García, Nicolás D. ...
PSIVT
2007
Springer
354views Multimedia» more  PSIVT 2007»
16 years 20 days ago
Real-Time Hand Gesture Detection and Recognition Using Boosted Classifiers and Active Learning
In this article a robust and real-time hand gesture detection and recognition system for dynamic environments is proposed. The system is based on the use of boosted classifiers for...
Hardy Francke, Javier Ruiz-del-Solar, Rodrigo Vers...
RTA
2010
Springer
15 years 10 months ago
A Proof Calculus Which Reduces Syntactic Bureaucracy
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
Alessio Guglielmi, Tom Gundersen, Michel Parigot
IVC
2002
142views more  IVC 2002»
15 years 6 months ago
Real-time tracking of complex structures with on-line camera calibration
This paper presents a novel three-dimensional model-based tracking system which has been incorporated into a visual servoing system. The tracking system combines modern graphical ...
Tom Drummond, Roberto Cipolla
ACL
2010
15 years 4 months ago
Importance of Linguistic Constraints in Statistical Dependency Parsing
Statistical systems with high accuracy are very useful in real-world applications. If these systems can capture basic linguistic information, then the usefulness of these statisti...
Bharat Ram Ambati