Sciweavers

3522 search results - page 467 / 705
» Modeling and Aspect Weaving
Sort
View
ANOR
2002
89views more  ANOR 2002»
15 years 6 months ago
Imperfect Inspection Games Over Time
We consider an inspection game played on a continuous finite time interval. The inspector wishes to detect a violation as soon as possible after it has been made by the operator. T...
Daniel Rothenstein, Shmuel Zamir
BSL
2004
100views more  BSL 2004»
15 years 6 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
CCR
2004
79views more  CCR 2004»
15 years 6 months ago
Reverse engineering the Internet
To provide insight into Internet operation and performance, recent efforts have measured various aspects of the Internet, developing and improving measurement tools in the process....
Neil T. Spring, David Wetherall, Thomas E. Anderso...
COGSCI
2000
74views more  COGSCI 2000»
15 years 6 months ago
A neuronal basis for the fan effect
entity, but an abstraction of unknown lower-level processes, the spreadingactivation model has predictive but not explanatory power. We provide one explanation of the fan effect by...
Philip Goetz, Deborah Walters
EXPERT
2000
182views more  EXPERT 2000»
15 years 6 months ago
Humanoid Robots: A New Kind of Tool
In 1993 our group at the MIT Artificial Intelligence Laboratory began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence...
Bryan Adams, Cynthia Breazeal, Rodney A. Brooks, B...