Sciweavers

1341 search results - page 135 / 269
» Periods in Extensions of Words
Sort
View
JSC
2010
107views more  JSC 2010»
15 years 22 days ago
On the relation between Context and Sequence Unification
Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence ...
Temur Kutsia, Jordi Levy, Mateu Villaret
CMIG
2011
168views more  CMIG 2011»
14 years 9 months ago
Comparing axial CT slices in quantized N-dimensional SURF descriptor space to estimate the visible body region
In this paper, a method is described to automatically estimate the visible body region of a computed tomography (CT) volume image. In order to quantify the body region, a body coo...
Johannes Feulner, Shaohua Kevin Zhou, Elli Angelop...
CVPR
1998
IEEE
16 years 8 months ago
A Methodology for Deriving Probabilistic Correctness Measures from Recognizers
This paper describes the derivation of probability of correctness from scores assigned by most recognizers. Motivation for this research is three-fold: i probability values can be...
Djamel Bouchaffra, Venu Govindaraju, Sargur N. Sri...
WORDS
2002
IEEE
15 years 11 months ago
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings
WORDS
2002
IEEE
15 years 11 months ago
Jini Meets Embedded Control Networking: A Case Study in Portability Failure
The Robust Self-Configuring Embedded Systems (RoSES) project seeks to achieve graceful degradation through software reconfiguration. To accomplish this goal, systems must automati...
Meredith Beveridge, Philip Koopman