4255 search results - page 668 / 851 » Cover |
174
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
171
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Existing sequence alignment algorithms assume that similarities between DNA or amino acid sequences are linearly ordered. That is, stretches of similar nucleotides or ...
170
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
In recent years, geometry processing algorithms that directly operate on polygonal meshes have become an indispensable tool in computer graphics, CAD/CAM applications, numerical s...
160
click to vote
CAS
2004
15 years 6 months ago
2004
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
175
click to vote
CE
2004
15 years 6 months ago
2004
: Much recent educational research focuses on teaching and learning within classroom conversations. This raises the question of the role of ICT as a support for such conversations....