Sciweavers

10988 search results - page 2126 / 2198
» Algorithmic Folding Complexity
Sort
View
MFCS
2004
Springer
15 years 8 months ago
Captive Cellular Automata
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
Guillaume Theyssier
130
Voted
SEMWEB
2004
Springer
15 years 8 months ago
Dynamic Agent Composition from Semantic Web Services
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
Michael Czajkowski, Anna L. Buczak, Martin O. Hofm...
122
Voted
VMCAI
2004
Springer
15 years 8 months ago
Boolean Algebra of Shape Analysis Constraints
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
Viktor Kuncak, Martin C. Rinard
147
Voted
CCGRID
2003
IEEE
15 years 8 months ago
Using grid technologies to face medical image analysis challenges
The availability of digital imagers inside hospitals and their ever growing inspection capabilities have established digital medical images as a key component of many pathologies ...
Johan Montagnat, Vincent Breton, Isabelle E. Magni...
117
Voted
HICSS
2003
IEEE
90views Biometrics» more  HICSS 2003»
15 years 8 months ago
Web Community of Agents for the Integrated Logistics of Industrial Districts
The industrial districts are characterized by the agglomeration of medium and small-sized industries, localized within a certain geographic area with precise social and cultural c...
Mauro Dell'Orco, Raffaele Giordano
« Prev « First page 2126 / 2198 Last » Next »