122 search results - page 24 / 25 » Computational Semantics of Time Negation Interaction |
MUE
2007
IEEE
13 years 12 months ago
2007
IEEE
In ubiquitous computing environments like smart home, residents can conveniently enjoy various home entertainments, such as watching TV, listening music, etc, through invisible an...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
OOPSLA
1995
Springer
13 years 9 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
NAACL
1994
13 years 7 months ago
1994
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
BMCBI
2008
13 years 5 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...