Sciweavers

2777 search results - page 257 / 556
» Example centric programming
Sort
View
CC
2003
Springer
103views System Software» more  CC 2003»
15 years 11 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...
ICALP
2003
Springer
15 years 11 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
146
Voted
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 11 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
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 11 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...
MM
2000
ACM
115views Multimedia» more  MM 2000»
15 years 10 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