7393 search results - page 1267 / 1479 » Synthesis-for-testability using transformations |
121
Voted
HCI
2007
15 years 5 months ago
2007
Showing pictures of famous artists to students is a fundamental task to teach fine art history. Images found on the Internet are a major resource of such pictures that can replace ...
166
Voted
ICVGIP
2008
15 years 5 months ago
2008
Following the phenomenological approach of gestaltists, sparse monocular depth cues such as T- and X-junctions and the local convexity are crucial to identify the shape and depth ...
134
click to vote
ICMLA
2007
15 years 5 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
135
Voted
IICAI
2007
15 years 5 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
130
Voted
IJCAI
2007
15 years 5 months ago
2007
The Valued (VCSP) framework is a generic optimization framework with a wide range of applications. Soft arc consistency operations transform a VCSP into an equivalent problem by s...