1746 search results - page 298 / 350 » A Constructive Semantics for ALC |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
ECEASST
2008
13 years 10 months ago
2008
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
ECEASST
2008
13 years 10 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
ENGL
2008
13 years 10 months ago
2008
Full comprehension of language comes about by understanding the meaning and the emotion behind the communication. Understanding the meaning of language is the goal of natural lang...