14158 search results - page 159 / 2832 » Generalized switch-setting problems |
262
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
122
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, we present an approach that allows a robot to observe, generalize, and reproduce tasks observed from multiple demonstrations. Motion capture data is recorded in ...
115
Voted
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
Integrating sensor networks with general purpose IT infrastructure has been confirmed as a complex problem in the development and management of industrial sensor applications. Th...
114
Voted
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
103
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...