4211 search results - page 336 / 843 » A formal approach to MASQ |
181
click to vote
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
202
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
166
click to vote
ICWE
2007
Springer
16 years 29 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
197
click to vote
NLDB
2007
Springer
16 years 28 days ago
2007
Springer
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...
159
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...