Sciweavers

677 search results - page 62 / 136
» Rigorous Object-Oriented Analysis
Sort
View
107
Voted
ALIFE
2006
15 years 24 days ago
Axiomatic Scalable Neurocontroller Analysis via the Shapley Value
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
Alon Keinan, Ben Sandbank, Claus C. Hilgetag, Isaa...
IPMI
2009
Springer
16 years 1 months ago
Multivariate High-Dimensional Cortical Folding Analysis, Combining Complexity and Shape, in Neonates with Congenital Heart Disea
The paper presents a novel statistical framework for cortical folding pattern analysis that relies on a rich multivariate descriptor of folding patterns in a region of interest (RO...
Suyash P. Awate, Paul A. Yushkevich, Zhuang Song, ...
113
Voted
CGO
2010
IEEE
15 years 7 months ago
Towards program optimization through automated analysis of numerical precision
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
Michael D. Linderman, Matthew Ho, David L. Dill, T...
108
Voted
ICCAD
2007
IEEE
105views Hardware» more  ICCAD 2007»
15 years 7 months ago
Victim alignment in crosstalk aware timing analysis
Modeling the effect of coupling noise on circuit delay is a key issue in static timing analysis (STA) and involves the “victimaggressor alignment” problem. As delay-noise depe...
Ravikishore Gandikota, Kaviraj Chopra, David Blaau...
97
Voted
CIA
2007
Springer
15 years 7 months ago
Analysis of Negotiation Dynamics
The process of reaching an agreement in a bilateral negotiation to a large extent determines that agreement. The tactics of proposing an offer and the perception of offers made by ...
Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykh...