Sciweavers

8496 search results - page 1420 / 1700
» Problem Solving and Complex Systems
Sort
View
ENTCS
2007
99views more  ENTCS 2007»
15 years 6 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
KES
2006
Springer
15 years 6 months ago
Construction of Symbolic Representation from Human Motion Information
Abstract In general, avatar-based communication has a merit that it can represent non-verbal information. The simplest way of representing the non-verbal information is to capture ...
Yutaka Araki, Daisaku Arita, Rin-ichiro Taniguchi,...
NRHM
2008
93views more  NRHM 2008»
15 years 6 months ago
Semantics on demand: Can a Semantic Wiki replace a knowledge base?
In the same way that Wikis have become the mechanism that has enabled groups of users to collaborate on the production of hypertexts on the web, Semantic Wikis promise a future of...
David E. Millard, Chris Bailey, Philip Boulain, Sw...
IJAHUC
2007
111views more  IJAHUC 2007»
15 years 6 months ago
Configuring node status in a two-phase tightly integrated mode for wireless sensor networks
: In wireless sensor networks, one of the main design challenges is to save severely constrained energy resources and obtain a long system lifetime. Low cost of sensors enables us ...
Di Tian, Zhijun Lei, Nicolas D. Georganas

Publication
139views
15 years 6 months ago
Separation of concerns in compiler development using aspect-orientation
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
« Prev « First page 1420 / 1700 Last » Next »