4211 search results - page 568 / 843 » A formal approach to MASQ |
169
click to vote
AIME
1995
Springer
15 years 10 months ago
1995
Springer
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...
181
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
175
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
175
click to vote
ISER
1995
Springer
15 years 10 months ago
1995
Springer
We review the current state of research in autonomous mobile robots and conclude that there is an inadequate basis for predicting the reliability and behavior of robots operating ...
150
click to vote
SIGMOD
1991
ACM
15 years 10 months ago
1991
ACM
The view-object model provides a formal basis for representing and manipulating object-based views on relational databases. In this paper, we present a scheme for handling update ...