Sciweavers

9444 search results - page 1604 / 1889
» The Language Model LMNtal
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Reasoning about agent execution strategies
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
Natasha Alechina, Brian Logan, Mehdi Dastani, John...
BIRTHDAY
2008
Springer
15 years 8 months ago
A Category of Explicit Fusions
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Cia...
ACII
2005
Springer
15 years 8 months ago
A Composite Method to Extract Eye Contour
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
Ke Sun, Hong Wang 0004
DOCENG
2005
ACM
15 years 8 months ago
Content interaction and formatting for mobile devices
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...
Tayeb Lemlouma, Nabil Layaïda
IE
2007
15 years 8 months ago
Utzon's studio as a collaborative virtual environment
In order to investigate the design of virtual place for creative collaboration, I have modeled scenes from a real place of creative collaboration – Jørn Utzon's studios, w...
Viveka Weiley
« Prev « First page 1604 / 1889 Last » Next »