4047 search results - page 286 / 810 » Some Properties and Some Problems on Set Functors |
183
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
172
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We provide a new simpler approach to the on-line load balancing problem in the case of restricted assignment of temporary weighted tasks. The approach is very general and allows to...
203
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
162
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
144
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. In the last decades there has been tremendous research towards the design of fully automatic non-rigid registration schemes. However, apart from the ITK based implementat...