1398 search results - page 185 / 280 » Ensuring Properties of Interaction Systems |
137
click to vote
ICAC
2005
IEEE
15 years 12 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
145
click to vote
NN
2002
Springer
15 years 6 months ago
2002
Springer
All network dynamics emerge from the complex interaction between the intrinsic membrane properties of network neurons and their synaptic connections. Nervous systems contain numer...
183
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
The successful creation of telepresence and virtual environments requires a change in design paradigm. We must move away from attempts to recreate reality in its entirety toward t...
187
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
191
click to vote
AAAI
2012
13 years 8 months ago
2012
We propose to model relative attributes1 that capture the relationships between images and objects in terms of human-nameable visual properties. For example, the models can captur...