1573 search results - page 237 / 315 » Signs and Formal Concepts |
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
AI
2007
Springer
14 years 4 months ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption can be made on the ontologies to align, the di...
CIKM
2007
Springer
14 years 4 months ago
2007
Springer
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....