5401 search results - page 162 / 1081 » Using Versions in GIS |
121
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
To create a robot with a mind of its own, we extended a formalized version of a model that explains affect-driven interaction with mechanisms for goaldirected behavior. We ran sim...
142
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
131
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
134
click to vote
DAGM
1993
Springer
1993
Springer
Segmentation of Magnetic Resonance Brain Images using Analog Constraint Satisfaction Neural Networks
15 years 8 months ago
The Grey-White Decision Network (GWDN) is presented as an analog constraint satisfaction neural network that segments magnetic resonance brain images. Constraints on signal intens...
102
click to vote
CONCUR
1989
Springer
15 years 8 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...