1922 search results - page 299 / 385 » ie 2007 |
177
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
174
click to vote
DATESO
2007
15 years 7 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
161
click to vote
CN
2007
15 years 6 months ago
2007
This paper describes BiSNET (Biologically-inspired architecture for Sensor NETworks), a middleware architecture that addresses several key issues in multi-modal wireless sensor ne...
178
Voted
JCC
2007
15 years 6 months ago
2007
: This paper first comments on the surprisingly poor status that Quantum Chemistry has offered to the fantastic intuition of Lewis concerning the distribution of the electrons in ...
168
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: In a previous paper, we introduced MUSCLE, a new program for creating multiple alignments of protein sequences, giving a brief summary of the algorithm and showing MUS...