4117 search results - page 550 / 824 » On the Satisfiability of Complex Constraints |
193
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
194
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
188
click to vote
COMCOM
2004
15 years 6 months ago
2004
In the emerging high-speed packet-switched networks, fair packet scheduling algorithms in switches and routers will form an important component of the mechanisms that seek to sati...
170
click to vote
RSA
2008
15 years 5 months ago
2008
ABSTRACT: Caching is widely recognized as an effective mechanism for improving the performance of the World Wide Web. One of the key components in engineering the Web caching syste...
184
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...