1175 search results - page 181 / 235 » Abstract computability and algebraic specification |
CLADE
2004
IEEE
14 years 17 days ago
2004
IEEE
This paper presents the design, development and evaluation of a prototype peer-to-peer collaboratory for imaging, analyzing, and seamlessly sharing tissue microarrays (TMA), corre...
CONCUR
2006
Springer
14 years 17 days ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
DCOSS
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. We have developed a new on-line error modeling and optimizationbased localization approach for sensor networks in the presence of distance measurement noise. The approach...
ERSHOV
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Text Categorization algorithms have a large number of parameters that determine their behaviour, whose effect is not easily predicted objectively or intuitively and may v...
EUC
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Well-scheduled communications, in conjunction with the aggregation of data reduce the energy waste on idle listening and redundant transmissions. In addition, the adjusta...