Sciweavers

1136 search results - page 166 / 228
» A case for the accountable cloud
Sort
View
MICRO
2007
IEEE
71views Hardware» more  MICRO 2007»
14 years 11 months ago
Effective Optimistic-Checker Tandem Core Design through Architectural Pruning
Design complexity is rapidly becoming a limiting factor in the design of modern, high-performance microprocessors. This paper introduces an optimization technique to improve the e...
Francisco J. Mesa-Martinez, Jose Renau
COGSCI
2004
120views more  COGSCI 2004»
14 years 11 months ago
Children's causal inferences from indirect evidence: Backwards blocking and Bayesian reasoning in preschoolers
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
David M. Sobel, Joshua B. Tenenbaum, Alison Gopnik
JCNS
2000
84views more  JCNS 2000»
14 years 11 months ago
Nonlinear Thermodynamic Models of Voltage-Dependent Currents
Hodgkin and Huxley provided the first quantitative description of voltage-dependent currents and adjusted their model to experimental data using empirical functions of voltage. A p...
Alain Destexhe, John R. Huguenard
AUTOMATICA
1999
145views more  AUTOMATICA 1999»
14 years 11 months ago
Control of systems integrating logic, dynamics, and constraints
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
Alberto Bemporad, Manfred Morari
JIIS
2002
168views more  JIIS 2002»
14 years 11 months ago
Hidden Markov Models for Text Categorization in Multi-Page Documents
In the traditional setting, text categorization is formulated as a concept learning problem where each instance is a single isolated document. However, this perspective is not appr...
Paolo Frasconi, Giovanni Soda, Alessandro Vullo