3009 search results - page 526 / 602 » The Expressive Rate of Constraints |
185
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
158
click to vote
AIIA
2005
Springer
15 years 12 months ago
2005
Springer
Given Boolean data sets which record properties of objects, Formal Concept Analysis is a well-known approach for knowledge discovery. Recent application domains, e.g., for very lar...
190
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
The Platform for Privacy Preferences (P3P) is a W3C framework for web privacy management. It provides a standard vocabulary that websites can use to describe their privacy practic...
170
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
166
click to vote
GIAE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...