Sciweavers

4763 search results - page 62 / 953
» On the Execution of Deep Models
Sort
View
WSC
2008
15 years 1 months ago
A multi threaded and resolution approach to simulated futures evaluation
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
David R. Pratt, Robert W. Franceschini, Robert B. ...
ICLP
1999
Springer
15 years 3 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
ATAL
2006
Springer
15 years 3 months ago
Learning executable agent behaviors from observation
We present a method for learning a human understandable, executable model of an agent's behavior using observations of its interaction with the environment. By executable we ...
Andrew Guillory, Hai Nguyen, Tucker R. Balch, Char...
PATMOS
2000
Springer
15 years 3 months ago
Early Power Estimation for System-on-Chip Designs
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
Marcello Lajolo, Luciano Lavagno, Matteo Sonza Reo...
QEST
2005
IEEE
15 years 5 months ago
Formal Executable Descriptions of Biological Systems
Michele Curti, Davide Prandi, Linda Brodo