Sciweavers

7340 search results - page 267 / 1468
» The Behavior of Tutoring Systems
Sort
View
ICML
2009
IEEE
16 years 7 months ago
Interactively optimizing information retrieval systems as a dueling bandits problem
We present an on-line learning framework tailored towards real-time learning from observed user behavior in search engines and other information retrieval systems. In particular, ...
Yisong Yue, Thorsten Joachims
ICESS
2004
Springer
15 years 12 months ago
The Modeling for Dynamic Power Management of Embedded Systems
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
Jiangwei Huang, Tianzhou Chen, Minjiao Ye, Yi Lian
EURODAC
1995
IEEE
148views VHDL» more  EURODAC 1995»
15 years 10 months ago
Software system for semiconductor devices, monolith and hybrid ICs thermal analysis
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
Konstantin O. Petrosjanc, I. A. Kharitonov, N. I. ...
JACIII
2006
118views more  JACIII 2006»
15 years 6 months ago
Building Intelligent Robotics Systems with Distributed Components
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Federico Guedea-Elizalde, Rogelio Soto, Fakhreddin...
ICCD
2003
IEEE
98views Hardware» more  ICCD 2003»
16 years 3 months ago
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
Edmund M. Clarke, Daniel Kroening, Karen Yorav