4211 search results - page 189 / 843 » A formal approach to MASQ |
135
click to vote
ACL
2010
15 years 4 months ago
2010
This paper presents a supervised approach for identifying generic noun phrases in context. Generic statements express rulelike knowledge about kinds or events. Therefore, their id...
186
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
149
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
149
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or le...
156
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...