Sciweavers

2880 search results - page 143 / 576
» context 2007
Sort
View
JSAI
2007
Springer
15 years 10 months ago
Inverse Scope as Metalinguistic Quotation in Operational Semantics
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
Chung-chieh Shan
MDM
2007
Springer
15 years 10 months ago
An Ontology Based Approach to Interaction Ambient Design
—We discuss the design of interaction ambients, which are ambients populated with fixed and mobile services, accessible through distributed interfaces. To make the interaction e...
Augusto Celentano, Andrea Okroglic, Fabio Pittarel...
NLDB
2007
Springer
15 years 10 months ago
Four Methods for Supervised Word Sense Disambiguation
Word sense disambiguation is the task to identify the intended meaning of an ambiguous word in a certain context, one of the central problems in natural language processing. This p...
Kinga Schumacher
146
Voted
AOSD
2007
ACM
15 years 8 months ago
A direction for research on virtual machine support for concern composition
This position paper suggests research directions in the area of virtual machines supporting aspect-oriented capabilities in the context of object-oriented languages. Categories an...
Harold Ossher
114
Voted
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
15 years 8 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby