5550 search results - page 733 / 1110 » Different Approaches to Proof Systems |
169
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
221
click to vote
FGR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose an algorithm for sustained tracking of humans, where we combine frame-to-frame articulated motion estimation with a per-frame body detection algorithm. T...
155
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
213
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
176
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—Knowledge about the environment is essential for humanoid and mobile robots to move and act safely. The most intuitive way to perceive information about the environment is throu...