4460 search results - page 299 / 892 » Formal methods for interactive systems |
177
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
161
click to vote
FUIN
2008
15 years 6 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
197
click to vote
AAAI
2004
15 years 8 months ago
2004
Information Extraction methods can be used to automatically "fill-in" database forms from unstructured data such as Web documents or email. State-of-the-art methods have...
197
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Empirical testing is a very popular evaluation method for the development of intelligent systems. Here, previously solved problems with correct solutions are given as cases to the...
196
Voted
DFG
2001
Springer
15 years 11 months ago
2001
Springer
: Using stereo-3D hardware in its different solutions is not new, but most available applications use these Hardware only for a better visualization of 3d-reconstructions. It is an...