666 search results - page 98 / 134 » Inspector Methods for State Abstraction |
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We present an approach to determine the category and location of objects in images. It performs very fast categorization of each pixel in an image, a brute-force approach...
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Anatomical and functional information of cardiac vasculature is a key component of future developments in the field of interventional cardiology. With the technology of C...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
Reinforcement learning deals with learning optimal or near optimal policies while interacting with the environment. Application domains with many continuous variables are difficul...
73
Voted
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...