5451 search results - page 187 / 1091 » Typed Operational Semantics |
136
click to vote
VMCAI
2012
Springer
13 years 11 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
AI
2007
Springer
15 years 10 months ago
2007
Springer
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
143
click to vote
COSIT
2003
Springer
15 years 9 months ago
2003
Springer
The discovery of services that are appropriate for answering a given question is a crucial task in the open and distributed environment of web services for geographic information. ...
144
click to vote
CIKM
1999
Springer
15 years 8 months ago
1999
Springer
A semantic caching scheme suitable for wrappers wrapping web sources is presented. Since the web sources have typically weaker querying capabilities than conventional databases, e...
160
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...