4117 search results - page 586 / 824 » On the Satisfiability of Complex Constraints |
165
click to vote
AIIA
2005
Springer
16 years 8 days 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...
170
click to vote
EGOV
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we propose a solution to secure interoperability between electronic ID management infrastructures enabling the provision of cross-border eServices to mobile citizens....
172
click to vote
WAOA
2005
Springer
16 years 5 days ago
2005
Springer
Cellular telephony systems, where locations of mobile users are unknown at some times, are becoming more common. In such systems, mobile users are roaming in a zone and a user repo...
224
click to vote
CASES
2004
ACM
16 years 4 days ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
147
click to vote
ISLPED
2004
ACM
16 years 4 days ago
2004
ACM
This paper presents a technique called “workload decomposition” in which the CPU workload is decomposed in two parts: on-chip and off-chip. The on-chip workload signifies the ...