3775 search results - page 325 / 755 » The Expression Problem Revisited |
136
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
184
click to vote
GBRPR
2005
Springer
16 years 9 days ago
2005
Springer
One of the main difficult problem in video analysis is to track moving objects during a video sequence, especially in presence of occlusions. Unfortunately, almost all the differ...
186
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...
202
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
198
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...