4488 search results - page 694 / 898 » Properties of NP-Complete Sets |
154
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
153
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
Context-based literature digital library search is a new search paradigm that creates an effective ranking of query outputs by controlling query output topic diversity. We define ...
152
click to vote
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
159
click to vote
HOTOS
2009
IEEE
15 years 9 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
155
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...