1151 search results - page 218 / 231 » Collaborative Programming: Applications of Logic and Automat... |
CSL
2009
Springer
15 years 4 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
WETICE
2006
IEEE
15 years 3 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
IEEEICCI
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
UM
2007
Springer
15 years 3 months ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...