Sciweavers

3565 search results - page 661 / 713
» Modeling a system controller for timing analysis
Sort
View
127
Voted
AAAI
2000
15 years 3 months ago
Inter-Layer Learning Towards Emergent Cooperative Behavior
As applications for artificially intelligent agents increase in complexity we can no longer rely on clever heuristics and hand-tuned behaviors to develop their programming. Even t...
Shawn Arseneau, Wei Sun, Changpeng Zhao, Jeremy R....
134
Voted
JAR
2000
97views more  JAR 2000»
15 years 2 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
110
Voted
PRESENCE
2000
94views more  PRESENCE 2000»
15 years 2 months ago
Virtual Environments with Four or More Spatial Dimensions
We describe methods for displaying complex, texturemapped environments with four or more spatial dimensions that allow for real-time interaction. At any one moment in time, a thre...
Michael D'Zmura, Philippe Colantoni, Gregory Seyra...
88
Voted
JOCN
2010
60views more  JOCN 2010»
15 years 1 months ago
Responding with Restraint: What Are the Neurocognitive Mechanisms?
■ An important aspect of cognitive control is the ability to respond with restraint. Here, we modeled this experimentally by measuring the degree of response slowing that occurs...
Sara Jahfari, Cathy M. Stinear, Mike Claffey, Fred...
159
Voted
TVCG
2008
147views more  TVCG 2008»
15 years 2 months ago
Cerebral: Visualizing Multiple Experimental Conditions on a Graph with Biological Context
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...
Aaron Barsky, Tamara Munzner, Jennifer L. Gardy, R...