5269 search results - page 141 / 1054 » order 2007 |
156
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
132
click to vote
DAM
2007
15 years 4 months ago
2007
In hardware design, it is necessary to simulate the anticipated behavior of the integrated circuit before it is actually cast in silicon. As simulation procedures are long due to ...
122
click to vote
IJCAI
1989
15 years 5 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
124
click to vote
MEDINFO
2007
15 years 5 months ago
2007
Objectives: To discuss the relationships between ontologies, terminologies and language in the context of Natural Language Processing (NLP) applications in order to show the negat...
116
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
In this paper we provide properties of moments of matrix exponential distributions and joint moments of matrix exponential processes. Based on the provided properties, an algorith...