Sciweavers

759 search results - page 48 / 152
» Verification of a Microprocessor Using Real World Applicatio...
Sort
View
MP
2002
110views more  MP 2002»
14 years 9 months ago
Robust optimization - methodology and applications
Abstract. Robust Optimization (RO) is a modeling methodology, combined with computational tools, to process optimization problems in which the data are uncertain and is only known ...
Aharon Ben-Tal, Arkadi Nemirovski
SMC
2007
IEEE
123views Control Systems» more  SMC 2007»
15 years 4 months ago
Logarithmic edge detection with applications
—In real world machine vision problems, numerous issues such as variable scene illumination make edge and object detection difficult. There exists no universal edge detection met...
Eric J. Wharton, Karen Panetta, Sos S. Agaian
WOSP
2004
ACM
15 years 3 months ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
15 years 3 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
77
Voted
CVPR
2008
IEEE
15 years 11 months ago
The patch transform and its applications to image editing
We introduce the patch transform, where an image is broken into non-overlapping patches, and modifications or constraints are applied in the "patch domain". A modified i...
Taeg Sang Cho, Moshe Butman, Shai Avidan, William ...