10568 search results - page 654 / 2114 » Computer Intelligence and Formalization |
209
click to vote
JLP
2007
15 years 7 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
182
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
190
click to vote
JCPHY
2011
14 years 10 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
189
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
While many computer tutoring systems have long been delivered as desktop applications, these systems have only recently begun to appear on mobile devices. In this work we apply pri...
231
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...