12015 search results - page 140 / 2403 » Interactive Algorithms 2005 |
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
The present work investigates the problem of determining a learning path inside a suitable domain ontology. The proposed approach enables the user of a web learning application to ...
INTETAIN
2005
Springer
14 years 2 months ago
2005
Springer
COMPASS2008 is a general service platform developed to be utilized as the tourist and city explorers assistant within the information services for the Beijing Olympic Games 2008. T...
TARK
2005
Springer
14 years 2 months ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
IEEECIT
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...