90 search results - page 5 / 18 » A Treatment Of Negative Descriptions Of Typed Feature Struct... |
MICCAI
2003
Springer
14 years 7 months ago
2003
Springer
This paper describes shape analysis of the caudate nucleus structure in a large schizophrenia study (30 controls, 60 schizophrenics). Although analysis of the caudate has not drawn...
ENTCS
2007
13 years 6 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
TYPES
1993
Springer
13 years 10 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
POPL
2007
ACM
14 years 6 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
ELPUB
2003
ACM
13 years 11 months ago
2003
ACM
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...