Sciweavers

5964 search results - page 413 / 1193
» A theory of speculative computation
Sort
View
COLT
2008
Springer
15 years 9 months ago
Learning from Collective Behavior
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
Michael Kearns, Jennifer Wortman
ROOM
2000
15 years 9 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
CASCON
1996
104views Education» more  CASCON 1996»
15 years 9 months ago
Live WWW and its agents: the CAS-LWWW project
This paper proposes the idea of vision agents over Internet, outlines the performance models of Live WWW with agents, and describes an object search agent and its communications w...
Yiming Ye, John K. Tsotsos, Karen Bennet
COLING
1996
15 years 9 months ago
An Underspecified HPSG Representation for Information Structure
hfformation structure can be of great use in linguistic applications, especially in those involving a speech component. However, focus marking by prosody is often ambiguous. Exist...
Jonas Kuhn
GECCO
2008
Springer
118views Optimization» more  GECCO 2008»
15 years 8 months ago
Deriving evaluation metrics for applicability of genetic algorithms to optimization problems
This paper aims to identify the missing links from theory of Genetic Algorithms (GAs) to application of GAs. Categories and Subject Descriptors: J.0 [Computer Applications]: Gener...
Hsinyi Jiang, Carl K. Chang