Sciweavers

2777 search results - page 257 / 556
» Example centric programming
Sort
View
110
Voted
CC
2003
Springer
103views System Software» more  CC 2003»
15 years 9 months ago
A Pattern Matching Compiler for Multiple Target Languages
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
Pierre-Etienne Moreau, Christophe Ringeissen, Mari...
109
Voted
ICALP
2003
Springer
15 years 9 months ago
Scaled Dimension and Nonuniform Complexity
Resource-bounded dimension is a complexity-theoretic extension of classical Hausdorff dimension introduced by Lutz (2000) in order to investigate the fractal structure of sets th...
John M. Hitchcock, Jack H. Lutz, Elvira Mayordomo
110
Voted
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 8 months ago
A Quantitative Stability Measure for Graspless Manipulation
In this paper, the stability of objects in graspless manipulation (or nonprehensile manipulation) is investigated. In contrast with the stability of grasps, it is crucial for the ...
Yusuke Maeda, Tamio Arai
113
Voted
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 8 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...
111
Voted
MM
2000
ACM
115views Multimedia» more  MM 2000»
15 years 8 months ago
Associating cooking video with related textbook
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
Reiko Hamada, Ichiro Ide, Shuichi Sakai