Sciweavers

127 search results - page 8 / 26
» On the Foundations of Computing Deltas Between RDF Models
Sort
View
BRAIN
2009
Springer
14 years 1 months ago
Reading What Machines "Think"
Abstract. In this paper, we want to farther advance the parallelism between models of the brain and computing machines. We want to apply the same idea underlying neuroimaging techn...
Fabio Massimo Zanzotto, Danilo Croce
WCRE
2009
IEEE
14 years 1 months ago
A Study of the Time Dependence of Code Changes
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
Omar Alam, Bram Adams, Ahmed E. Hassan
CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
14 years 1 months ago
Complementation of Coalgebra Automata
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Christian Kissig, Yde Venema
BIRTHDAY
2010
Springer
13 years 8 months ago
Thirteen Definitions of a Stable Model
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Vladimir Lifschitz
HCI
2009
13 years 4 months ago
Modeling the Cognitive Task Load and Performance of Naval Operators
Abstract. Operators on naval ships have to act in dynamic, critical and highdemand task environments. For these environments, a cognitive task load (CTL) model has been proposed as...
Mark A. Neerincx, Stefan Kennedie, Marc Grootjen, ...