Sciweavers

949 search results - page 120 / 190
» Relating Imperatives to Action
Sort
View
CAD
2006
Springer
13 years 7 months ago
Fast computation of inertia through affinely extended Euler tensor
We introduce an affine extension of the Euler tensor which encompasses all of the inertia properties of interest in a convenient linear format, and we show how it transforms under...
Antonio DiCarlo, Alberto Paoluzzi
KI
2008
Springer
13 years 7 months ago
JSON Rules
This paper presents a JSON based rule language and its JavaScript-based rule engine towards providing Web 2.0 applications with rule-based inference capabilities. For interoperabil...
Adrian Giurca, Emilian Pascalau
LISP
2008
101views more  LISP 2008»
13 years 7 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
IJON
2007
93views more  IJON 2007»
13 years 7 months ago
Computing with active dendrites
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...
Christo Panchev
JANCL
2007
95views more  JANCL 2007»
13 years 7 months ago
Dynamic logic of preference upgrade
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
Johan van Benthem, Fenrong Liu