2989 search results - page 248 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
147
click to vote
COMPSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
212
Voted
CIMAGING
2009
15 years 7 months ago
2009
We introduce "contour stencils" as a simple method for detecting the local orientation of image contours and apply this detection to image zooming. Our approach is motiv...
177
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
155
click to vote
HYBRID
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
136
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
Domain knowledge is essential for successful problem solving and optimization. This paper introduces a framework in which a form of automatic domain knowledge extraction can be im...