2088 search results - page 29 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
85
Voted
NAACL
2010
14 years 9 months ago
2010
Phonetic string transduction problems, such as letter-to-phoneme conversion and name transliteration, have recently received much attention in the NLP community. In the past few y...
FC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
FAC
2008
14 years 11 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
ISBI
2006
IEEE
16 years 13 days ago
2006
IEEE
Cancer is a complex disease in which a variety of phenomena interact over a wide range of spatial and temporal scales. In this article a theoretical framework will be introduced t...
FIW
1998
15 years 1 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...