2586 search results - page 368 / 518 » Automatic Abstraction for Congruences |
197
click to vote
AFP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
172
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
157
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Ubiquitous Mobile Systems (UMSs) allow for automated capturing of events. Both mobility and ubiquity are supported by electronic means such as mobile phones and PDAs and ...
178
click to vote
CIARP
2004
Springer
15 years 11 months ago
2004
Springer
MEDLINE is a very large database of abstracts of research papers in medical domain, maintained by the National Library of Medicine. Documents in MEDLINE are supplied with manually ...
184
click to vote
CICLING
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...