5066 search results - page 425 / 1014 » Spectra of structures and relations |
154
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We propose Computational Sensor Networks as a methodology to exploit models of physical phenomena in order to better understand the structure of the sensor network. To do so, i...
169
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
160
click to vote
TYPES
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
158
click to vote
WOLLIC
2007
Springer
16 years 26 days ago
2007
Springer
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
164
click to vote
ICARCV
2006
IEEE
16 years 24 days ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...