3388 search results - page 540 / 678 » Type-theoretic design patterns |
138
click to vote
CIARP
2005
Springer
15 years 12 months ago
2005
Springer
The Chagas disease or Tripanosomiasis Americana affects between 16 and 18 million people in endemic areas. This disease affects the beating rate of infected patients’ cardiomyocy...
159
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
We study suitable indexing techniques to support efficient exact match search in large biological sequence databases. We propose a suffix tree (ST) representation, called STA-DF, ...
159
click to vote
ECAL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This article presents the first results of a project in underwater modular robotics, called Neubots. The goals of the projects are to explore, following Von Neumann’s ...
156
click to vote
HIPEAC
2005
Springer
15 years 12 months ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
171
click to vote
ICAPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...