Sciweavers

1283 search results - page 149 / 257
» Object Initialization in X10
Sort
View
114
Voted
AAAI
2010
15 years 6 months ago
High-Quality Policies for the Canadian Traveler's Problem
We consider the stochastic variant of the Canadian Traveler's Problem, a path planning problem where adverse weather can cause some roads to be untraversable. The agent does ...
Patrick Eyerich, Thomas Keller, Malte Helmert
FMOODS
2008
15 years 6 months ago
Semantic Foundations and Inference of Non-null Annotations
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
Laurent Hubert, Thomas P. Jensen, David Pichardie
MEDINFO
2007
139views Healthcare» more  MEDINFO 2007»
15 years 6 months ago
Lessons Learned from Cross-Validating Alignments between Large Anatomical Ontologies
Objectives: To compare the alignments of two large anatomical ontologies (the Foundational Model of Anatomy and GALEN) produced by three ontology alignment systems (AOAS, FALCON a...
Songmao Zhang, Olivier Bodenreider
MVA
2007
138views Computer Vision» more  MVA 2007»
15 years 6 months ago
Vehicle Tracking Using Image Alignment and Haar Transform
The large number of rear end collisions due to driver inattention has been identified as a major automotive safety issue. In this paper, we describe a 3-phase vehicle tracking met...
Lap-Chi Cheung, Yiu Sang Moon
139
Voted
SE
2007
15 years 6 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia