3729 search results - page 586 / 746 » On Formal Modeling of Agent Computations |
181
click to vote
COMMA
2010
15 years 1 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
281
click to vote
ICOM
2011
14 years 10 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
167
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
We illustrate how to consider a network of cameras as a single generalized camera in a framework proposed by Nayar [13]. We derive the discrete structure from motion equations for...
177
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, a new framework for the tracking of closed curves is described. The proposed approach, formalized through an optimal control technique, enables a continuous trackin...
150
click to vote
CONEXT
2006
ACM
16 years 13 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...