510 search results - page 18 / 102 » Lexical Rules: What are they |
TYPES
1998
Springer
14 years 3 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
CSMR
2008
IEEE
14 years 5 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
ECAI
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
DLOG
2009
13 years 8 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
CSJM
2008
13 years 11 months ago
2008
This article contains the information about the defining and analysis of some rules which will permit the automatic retrieving of the romanian prefixed formations and enriching th...