Sciweavers

122
Voted
EMSOFT
2004
Springer
15 years 7 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
129
Voted
CIKM
2006
Springer
15 years 7 months ago
Validating associations in biological databases
To cope with the large amount of biological sequences being produced, a significant number of genes and proteins have been annotated by automated tools. A protein annotation is an...
Francisco M. Couto, Mário J. Silva, Pedro C...
ELPUB
2004
ACM
15 years 7 months ago
DigitArq: creating and managing a digital archive
José Carlos Ramalho, José Carlos Fer...
165
Voted
CIKM
2006
Springer
15 years 7 months ago
Summarizing local context to personalize global web search
The PC Desktop is a very rich repository of personal information, efficiently capturing user's interests. In this paper we propose a new approach towards an automatic persona...
Paul-Alexandru Chirita, Claudiu S. Firan, Wolfgang...