7366 search results - page 1063 / 1474 » Development of the Information Systems Implementation Resear... |
186
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
187
click to vote
IWPC
2003
IEEE
16 years 3 days ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...
175
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
170
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we introduce a new knowledgebased method for planning and managing the VLSI design process, based on prediction and advice, that minimizes search in a wide design sp...
188
click to vote
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...