31387 search results - page 465 / 6278 » Abstracts |
205
Voted
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
227
Voted
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
204
Voted
LREC
2010
15 years 9 months ago
2010
This paper deals with the uses of the annotations of third person singular neuter pronouns in the DAD parallel and comparable corpora of Danish and Italian texts and spoken data. ...
211
Voted
WSC
1997
15 years 9 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
203
Voted
AAAI
1994
15 years 9 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...