2701 search results - page 171 / 541 » On the form of witness terms |
170
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
153
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Abstract. Database systems have been vital for all forms of data processing for a long time. In recent years, the amount of processed data has been growing dramatically, even in sm...
194
click to vote
DEBU
2010
15 years 6 months ago
2010
People travel in the real world and leave their location history in a form of trajectories. These trajectories do not only connect locations in the physical world but also bridge ...
267
click to vote
COR
2006
15 years 6 months ago
2006
Data envelopment analysis (DEA) is proposed in this paper to generate local weights of alternatives from pair-wise comparison judgment matrices used in the analytic hierarchy proc...
164
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...