4117 search results - page 518 / 824 » On the Satisfiability of Complex Constraints |
287
click to vote
ICDE
2002
IEEE
16 years 8 months ago
2002
IEEE
Scalable storage architectures allow for the addition of disks to increase storage capacity and/or bandwidth. In its general form, disk scaling also refers to disk removals when e...
179
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The novelty of the approach presented in this paper is the unique object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods...
284
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
140
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
With the proliferation of data APIs, it is not uncommon that users who have no clear ideas about data APIs will encounter difficulties to build Mashups to satisfy their requiremen...
172
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...