4036 search results - page 532 / 808 » Formal Methods |
210
click to vote
ATS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a technique for reducing the test length of counter-based pseudo-exhaustive built-in self-testing (BIST) based on width compression method. More formally...
166
click to vote
LATA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
167
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
154
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper describes a new grapheme-tophoneme framework, based on a combination of formal linguistic and statistical methods. A context-free grammar is used to parse words into th...
204
click to vote
ACSW
2004
15 years 8 months ago
2004
Ontologies represent a method of formally expressing a shared understanding of information, and have been seen by many authors as a prerequisite for the "Semantic web". ...