1133 search results - page 94 / 227 » Local Logics for Traces |
89
Voted
JODS
2008
15 years 1 months ago
2008
The ability to deal with inconsistencies and to evaluate the impact of possible solutions for resolving inconsistencies are of the utmost importance in real world ontology applicat...
121
Voted
IPL
2007
15 years 1 months ago
2007
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is sh...
112
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
107
Voted
ISLPED
2004
ACM
15 years 6 months ago
2004
ACM
The quadratic relationship between voltage and energy has made dynamic voltage scaling (DVS) one of the most powerful techniques to reduce system power demands. Recently, techniqu...
116
Voted
CONTEXT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...