1532 search results - page 100 / 307 » A Comparison of RESTART Implementations |
144
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
103
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Ultra wide band (UWB) impulse radio (IR) technology calls for robust and low-complexity receiver techniques. State-of-the-art proposals are both coherent ML receivers, ...
121
Voted
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
—A Built-In Self-Test (BIST) approach for functionality measurements, including noise figure (NF), linearity and frequency response of analog circuitry in mixedsignal systems, is...
106
Voted
WEBI
2007
Springer
15 years 9 months ago
2007
Springer
Collaborative tagging is increasingly drawing attentions. However the keyword based tagging scheme has its limitations and it can be observed that tagging society are seeking and ...
109
Voted
CAMP
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper describes a task-independent controller that allows for an easy implementation of vision systems for processing video sequences. The controller does not have a fixed ...