11394 search results - page 406 / 2279 » Error-Correcting Data Structures |
138
click to vote
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
150
click to vote
BROADNETS
2004
IEEE
15 years 8 months ago
2004
IEEE
One important application of wireless sensor networks is tracking moving objects. The recent progress has made it possible for tiny sensors to have more computing power and storag...
177
Voted
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
143
Voted
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Weighted graph regularization provides a rich framework that allows to regularize functions defined over the vertices of a weighted graph. Until now, such a framework has been only...
139
click to vote
FLAIRS
2007
15 years 7 months ago
2007
In attempting to address real-life decision problems, where uncertainty about input data prevails, some kind of representation of imprecise information is important and several ha...