9145 search results - page 1547 / 1829 » Description Logic Systems |
149
click to vote
PE
2007
Springer
15 years 3 months ago
2007
Springer
The next generation of software systems will be highly distributed, component-based and service-oriented. They will need to operate in unattended mode and possibly in hostile envi...
148
click to vote
CPAIOR
2010
Springer
15 years 2 months ago
2010
Springer
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
117
click to vote
ICGI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...
117
click to vote
INFSOF
2010
15 years 2 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
113
click to vote
JNS
2010
15 years 2 months ago
2010
This paper introduces a new method to show the validity of a continuum description for the deterministic dynamics of many interacting particles. Here the many particle evolution is...