5830 search results - page 847 / 1166 » Automatic link generation |
199
click to vote
COLING
2010
15 years 1 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
322
click to vote
NFM
2011
15 years 1 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
179
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper, we describe and compare systems for text normalization based on statistical machine translation (SMT) methods which are constructed with the support of internet use...
224
click to vote
TOG
2010
15 years 1 months ago
2010
Realistic rendering of participating media is one of the major subjects in computer graphics. Monte Carlo techniques are widely used for realistic rendering because they provide u...
204
click to vote
TSMC
2010
2010
Cancelable Templates for Sequence-Based Biometrics with Application to On-line Signature Recognition
15 years 1 months ago
Recent years have seen the rapid spread of biometric technologies for automatic people recognition. However, security and privacy issues still represent the main obstacles for the ...