Sciweavers

1712 search results - page 69 / 343
» Abstract Constraint Data Types
Sort
View
ICRA
2009
IEEE
103views Robotics» more  ICRA 2009»
15 years 5 months ago
Finding good cycle constraints for large scale multi-robot SLAM
Abstract— In this paper we describe an algorithm to compute cycle constraints that can be used in many graph-based SLAM algorithms; we exemplify it in Hierarchical SLAM. Our algo...
Carlos Estrada, José Neira, Juan D. Tard&oa...
GEOINFO
2004
15 years 15 days ago
Temporal Constraints Between Cyclic Geographic Events
Abstract: This paper presents a data model for cyclic geographic events useful for nextgeneration geographic information system design. The paper introduces a structure that captur...
Jorge Campos, Kathleen Hornsby
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 4 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
IJCAI
2007
15 years 16 days ago
A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat ...
ANOR
2011
214views more  ANOR 2011»
14 years 6 months ago
A hybrid constraint programming approach to the log-truck scheduling problem
Abstract. Scheduling problems in the forest industry have received significant attention in the recent years and have contributed many challenging applications for optimization te...
Nizar El Hachemi, Michel Gendreau, Louis-Martin Ro...