413 search results - page 34 / 83 » Abstract Argumentation Scheme Frameworks |
154
click to vote
BROADNETS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—To reap the benefits of advances in wireless technologies as well as provide backward compatibility with current investments, future wireless routers that constitute th...
141
Voted
ICFP
1998
ACM
15 years 9 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
171
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
166
Voted
SAMT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we present a system framework for event detection in pedestrian and tracking applications. The system is built upon a robust computer vision approach to de...
153
click to vote
COMMA
2008
15 years 6 months ago
2008
An abstract framework for formalising persuasion dialogues has recently been proposed. The framework provides for a range of speech acts, and protocols of varying levels of flexibi...