3495 search results - page 307 / 699 » On the random satisfiable process |
182
click to vote
ISI
2005
Springer
16 years 1 months ago
2005
Springer
In today’s globally networked society, there is a dual demand on both information sharing and information protection. A typical scenario is that two parties wish to integrate the...
189
click to vote
VISUAL
2005
Springer
16 years 1 months ago
2005
Springer
The paper describes a modular procedure for automatic correction of redeye artifact in images of unknown origin, maintaining the natural appearance of the eye. First, a smart color...
201
click to vote
VLDB
2005
ACM
16 years 1 months ago
2005
ACM
We present a system for efficient meta-data indexed querying of XML documents. Given the diversity of the information available in XML, it is very useful to annotate XML data wit...
186
click to vote
WAIM
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
214
click to vote
CAV
2004
Springer
16 years 1 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...