2830 search results - page 143 / 566 » No Science without Semantics |
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
WEBI
2004
Springer
14 years 1 months ago
2004
Springer
Although much progress has been made, current lowlevel based visual information retrieval technology does not allow users to formulate queries through high-level semantics. More a...
ISPDC
2003
IEEE
14 years 1 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
LICS
1993
IEEE
14 years 3 days ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
ADL
1998
Springer
14 years 7 days ago
1998
Springer
ct In this paper, we describe the VesaliusTM Project, a multi-modal collection of anatomical resourcesunder development at Columbia University. 1 Our focus is on the need for navig...