Sciweavers

1060 search results - page 100 / 212
» Notes on Coding Theory
Sort
View
ATAL
2010
Springer
14 years 10 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
CORR
2000
Springer
67views Education» more  CORR 2000»
14 years 9 months ago
The dynamics of iterated transportation simulations
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...
Kai Nagel, Marcus Rickert, Patrice M. Simon, Marti...
DM
1998
95views more  DM 1998»
14 years 9 months ago
An Euler-type formula for median graphs
Let G be a median graph on n vertices and m edges and let k be the number of equivalence classes of the Djokovi´c’s relation Θ defined on the edge-set of G. Then 2n − m −...
Sandi Klavzar, Henry Martyn Mulder, Riste Skrekovs...
JASIS
2002
117views more  JASIS 2002»
14 years 9 months ago
Social capital, value, and measure: Antonio Negri's challenge to capitalism
This article engages one of the most important concepts in Knowledge Management, namely, the concept of social capital, focusing upon the problem of measure and value in capitali...
Ronald E. Day
RC
2002
70views more  RC 2002»
14 years 9 months ago
On Existence and Uniqueness Verification for Non-Smooth Functions
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
R. Baker Kearfott