4930 search results - page 563 / 986 » Testing a Safety-Critical Application |
235
click to vote
AEI
1999
15 years 7 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
183
click to vote
FMSD
1998
15 years 7 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
170
click to vote
JUCS
2002
15 years 7 months ago
2002
: Being lost in space and overloaded with information are two key problems users are confronted with, when searching for appropriate information. Trails built from information abou...
225
click to vote
MVA
2002
15 years 7 months ago
2002
2 Adaptive Background Model Tracking people has received considerable attention by computer vision researchers. Interest is motivated by the broad range of potential applications s...
180
click to vote
NPL
2002
15 years 7 months ago
2002
Recently, feature maps have been applied to various problem domains.The success of some of these applications critically depends on whether feature maps are topologically ordered. ...