Sciweavers

685 search results - page 11 / 137
» Closure Operators for Order Structures
Sort
View
ICRA
2005
IEEE
135views Robotics» more  ICRA 2005»
15 years 5 months ago
Regrasp Planning of Four-Fingered Hand for Parallel Grasp of a Polygonal Object
— This paper proposes a necessary and sufficient condition for parallel grasps. We extend the use of this condition to the task of regrasp planning. In particular, we propose a ...
Thanathorn Phoka, Peam Pipattanasomporn, Nattee Ni...
MOR
2008
169views more  MOR 2008»
14 years 11 months ago
The Flow Set with Partial Order
The flow set with partial order is a mixed-integer set described by a budget on total flow and a partial order on the arcs that may carry positive flow. This set is a common substr...
Alper Atamtürk, Muhong Zhang
104
Voted
POPL
1998
ACM
15 years 3 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...
EUSFLAT
2001
15 years 1 months ago
Refining aggregation operations in finite ordinal scales
We discuss how to aggregate multiple criteria evaluations belonging to qualitative, linearly ordered scales. Qualitative aggregation operations such as min or max can be refined b...
Didier Dubois, Henri Prade
ICDM
2010
IEEE
201views Data Mining» more  ICDM 2010»
14 years 9 months ago
Mining Closed Strict Episodes
Discovering patterns in a sequence is an important aspect of data mining. One popular choice of such patterns are episodes, patterns in sequential data describing events that often...
Nikolaj Tatti, Boris Cule