Sciweavers

7504 search results - page 447 / 1501
» Computing with Action Potentials
Sort
View
CLUSTER
2005
IEEE
15 years 7 months ago
SymbioticSphere: Towards an Autonomic Grid Network System
This paper describes SymbioticSphere, a novel biologically-inspired architecture that allows grid systems (application services and middleware platforms) to be scalable and adapti...
Paskorn Champrasert, Chonho Lee, Junichi Suzuki
CONCUR
2005
Springer
15 years 7 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael
ECAI
2008
Springer
15 years 6 months ago
Towards Efficient Belief Update for Planning-Based Web Service Composition
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
Jörg Hoffmann
LREC
2010
164views Education» more  LREC 2010»
15 years 6 months ago
Experimental Deployment of a Grid Virtual Organization for Human Language Technologies
After a brief overview of the elements of modern grid computing, a number of common use-cases of natural language processing tasks running on the grid are presented, notably corpu...
Jan Jona Javorsek, Tomaz Erjavec
FLAIRS
2000
15 years 6 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...