3128 search results - page 509 / 626 » Finite element method |
175
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
There is a growing interest in on-line algorithms for analyzing and querying data streams, that examine each stream element only once and have at their disposal, only a limited amo...
153
click to vote
ISBRA
2009
Springer
15 years 11 months ago
2009
Springer
KIM, JIHYE. Mining of Cis-Regulatory Motifs Associated with Tissue-Specific Alternative Splicing. (Under the direction of Steffen Heber). Alternative splicing (AS) is an important...
142
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
142
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
The IEEE 802.16/WiMAX standard has fully embraced multi-antenna technology and can, thus, deliver robust and high transmission rates and higher system capacity. Nevertheless, due ...
140
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...