Sciweavers

1705 search results - page 194 / 341
» Representing Constraints with Automata
Sort
View
ICIAP
2005
ACM
16 years 6 months ago
Greedy Algorithm for Local Contrast Enhancement of Images
Abstract. We present a technique that achieves local contrast enhancement by representing it as an optimization problem. For this, we first introduce a scalar objective function th...
Kartic Subr, Aditi Majumder, Sandy Irani
BIRTHDAY
2009
Springer
16 years 1 months ago
No i-Sums for Nissim (and Shalom)
Lappin and Francez (1994) present a theory of donkey anaphora which, they claim, captures both their existential and their universal readings, while maintaining a uniform represent...
Itamar Francez
IROS
2009
IEEE
199views Robotics» more  IROS 2009»
16 years 1 months ago
A controller for dynamic walking in bipedal robots
Abstract— This paper presents an approach for the closedloop control of actuated biped that allows natural looking and energy efficient walking. Rather than prescribe kinematic ...
David J. Braun, Michael Goldfarb
PETRA
2009
ACM
16 years 1 months ago
Automatic sensor placement in a 3D volume
Given a 3D environment, a set of constraints, and a set of sensor models, this paper addresses the problem of finding the set of sensors and their corresponding placement that cov...
Eric Becker, Gutemberg Guerra-Filho, Fillia Makedo...
ICST
2008
IEEE
16 years 27 days ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu