Sciweavers

3775 search results - page 99 / 755
» The Expression Problem Revisited
Sort
View
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
15 years 7 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky
FMCAD
2008
Springer
15 years 5 months ago
Augmenting a Regular Expression-Based Temporal Logic with Local Variables
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
Cindy Eisner, Dana Fisman
IANDC
2010
132views more  IANDC 2010»
15 years 23 days ago
The expressive power of the shuffle product
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...
96
Voted
COLING
2010
14 years 10 months ago
Expressing OWL axioms by English sentences: dubious in theory, feasible in practice
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
Richard Power, Allan Third
CAIP
2003
Springer
133views Image Analysis» more  CAIP 2003»
15 years 8 months ago
Optimizing Eigenfaces by Face Masks for Facial Expression Recognition
A new direction in improving modern dialogue systems is to make a human-machine dialogue more similar to a human-human dialogue. This can be done by adding more input modalities. O...
Carmen Frank, Elmar Nöth