2409 search results - page 300 / 482 » Logical systems for structured specifications |
137
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
120
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...
128
click to vote
AVI
2000
15 years 5 months ago
2000
A multiple view system uses two or more distinct views to support the investigation of a single conceptual entity. Many such systems exist, ranging from computer-aided design (CAD...
114
click to vote
NBIS
2007
Springer
15 years 10 months ago
2007
Springer
We propose a peer-to-peer system that supports distributed virtual world applications. For these applications, the connections between directly neighboring peers are of the utmost ...
151
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...