Sciweavers

4745 search results - page 377 / 949
» Discretization: An Enabling Technique
Sort
View
AIIDE
2008
15 years 9 months ago
Combining Model-Based Meta-Reasoning and Reinforcement Learning for Adapting Game-Playing Agents
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...
Patrick Ulam, Joshua Jones, Ashok K. Goel
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 8 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
BIBE
2008
IEEE
113views Bioinformatics» more  BIBE 2008»
15 years 8 months ago
Medical needle steering for lung biopsy: Experimental results in tissue phantoms using a robotic needle driver
- Needle steering is a commonly used technique in the medical field as it enables physicians to more precisely reach the target tissue. In this paper we describe our interest in ne...
Jienan Ding, Dan Stoianovici, Doru Petrisor, Pierr...
ASPDAC
2005
ACM
92views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Sleep transistor sizing using timing criticality and temporal currents
— Power gating is a circuit technique that enables high performance and low power operation. One of the challenges in power gating is sizing the sleep transistor which is used to...
Anand Ramalingam, Bin Zhang, Anirudh Devgan, David...
DALT
2008
Springer
15 years 8 months ago
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
Mehdi Dastani, Koen V. Hindriks, Peter Nová...