3468 search results - page 379 / 694 » An open logical framework |
181
click to vote
ISPAN
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents a novel application of the GPU processing power to a very computationally demanding articulated human body tracking problem in a view-based approach. This wo...
122
Voted
ICALT
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, the VEMUS platform is presented, as a novel approach for music tuition that focuses on beginner and intermediate students, typically aged from 9 to 15 years. This p...
120
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
143
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
A peer-to-peer file sharing system includes a lookup and a content distribution protocol. Very efficient peer-to-peer protocols exist for content distribution, but efficient in...
138
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....