935 search results - page 30 / 187 » A Framework for Obfuscated Interpretation |
119
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
116
click to vote
ICCS
2000
Springer
15 years 5 months ago
2000
Springer
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
110
click to vote
SIGLEX
1991
15 years 5 months ago
1991
We consider lexicM operations and their representation in a unification based lexicon and the role of lexical semantic information. We describe a unified treatment of the linguist...
101
click to vote
CROSSROADS
2006
15 years 1 months ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
118
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...