3172 search results - page 309 / 635 » On the Random-Self-Reducibility of Complete Sets |
163
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Multi-Point Constructive Search maintains a small set of “elite solutions” that are used to heuristically guide constructive search through periodically restarting se...
181
click to vote
CSL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
181
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
146
click to vote
ER
2005
Springer
16 years 8 days ago
2005
Springer
To achieve the dream of the semantic web, it must be possible for ordinary users to invoke services. Exactly how to turn this dream into reality is a challenging opportunity and a...
152
Voted
ER
2005
Springer
16 years 8 days ago
2005
Springer
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...