Sciweavers

2239 search results - page 146 / 448
» Computing with abstract matrix structures
Sort
View
P2P
2005
IEEE
104views Communications» more  P2P 2005»
15 years 9 months ago
Range Queries in Trie-Structured Overlays
Among the open problems in P2P systems, support for non-trivial search predicates, standardized query languages, distributed query processing, query load balancing, and quality of...
Anwitaman Datta, Manfred Hauswirth, Renault John, ...
112
Voted
ICCS
2005
Springer
15 years 9 months ago
Integrating Fire, Structure and Agent Models
Abstract. A state-of-the-art integrated environment was created to study interaction among fire, structure and agent models in a fire evacuation from a typical office building. For...
Alok R. Chaturvedi, S. A. Filatyev, J. P. Gore, A....
122
Voted
NJC
2006
86views more  NJC 2006»
15 years 3 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
142
Voted
MAGS
2007
168views more  MAGS 2007»
15 years 3 months ago
Agent-based protein structure prediction
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting...
Luca Bortolussi, Agostino Dovier, Federico Fogolar...
142
Voted
ICB
2007
Springer
134views Biometrics» more  ICB 2007»
15 years 9 months ago
Singular Points Analysis in Fingerprints Based on Topological Structure and Orientation Field
Abstract. As an important feature of fingerprints, singular points (includingcores and deltas) not only represent the local ridge pattern characteristics, but also determine the to...
Jie Zhou, Jinwei Gu, David Zhang