7580 search results - page 1322 / 1516 » Prometheus design tool |
143
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
140
Voted
ARTS
1997
Springer
15 years 9 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
151
click to vote
CHI
1995
ACM
15 years 9 months ago
1995
ACM
We introduce the concept of Graspable User Interfaces that allow direct control of electronic or virtual objects through physical handles for control. These physical artifacts, wh...
167
Voted
DAC
1995
ACM
15 years 9 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...
143
Voted
ICAIL
1995
ACM
15 years 9 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...