6201 search results - page 851 / 1241 » Implementation of Axiomatic Language |
158
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
192
click to vote
MIRRORBOT
2005
Springer
16 years 11 days ago
2005
Springer
We have implemented a neurobiologically plausible system on a robot that integrates visual attention, object recognition, language and action processing using a coherent cortex-lik...
139
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
173
click to vote
SOFSEM
2005
Springer
16 years 11 days ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
192
click to vote
TABLEAUX
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...