15120 search results - page 389 / 3024 » Learning with Local Models |
164
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
161
click to vote
ICTAI
2005
IEEE
16 years 10 days ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
160
click to vote
ATAL
2007
Springer
2007
Springer
Agent coordination by trade-off between locally diffusion effects and socially structural influences
16 years 28 days ago
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...
209
Voted
AH
2008
Springer
16 years 1 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
164
click to vote
CPAIOR
2004
Springer
16 years 4 days ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...