16666 search results - page 59 / 3334 » Descriptive and Computational Complexity |
135
click to vote
ENTCS
2002
15 years 3 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
130
Voted
AVSS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
106
Voted
GPC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The deployment of J2EE systems in Grid environments remains a difficult task: the architecture of these applications are complex and the target environment is heterogene...
115
Voted
IJCAI
2003
15 years 5 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
89
Voted
ACL
1998
15 years 5 months ago
1998
: The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and ...