3146 search results - page 466 / 630 » Efficient Consequence Finding |
117
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
160
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Clustering is to identify densely populated subgroups in data, while correlation analysis is to find the dependency between the attributes of the data set. In this paper, we combin...
130
Voted
ASIACRYPT
2006
Springer
15 years 7 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
153
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
133
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...