2070 search results - page 300 / 414 » A Reduced-Basis Element Method |
115
click to vote
ESWS
2009
Springer
15 years 7 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 ...
103
Voted
ICC
2008
IEEE
15 years 7 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 ...
108
Voted
ATVA
2007
Springer
15 years 7 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...
100
Voted
INEX
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we document our efforts at INEX 2007 where we participated in the Ad Hoc Track, the Link the Wiki Track, and the Interactive Track that continued from INEX 2006. Ou...
108
Voted
MEMOCODE
2006
IEEE
15 years 6 months ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...