5766 search results - page 428 / 1154 » Reverse Engineering of Data |
146
click to vote
AC
2003
Springer
16 years 3 days ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
212
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
120
Voted
CODES
1997
IEEE
15 years 11 months ago
1997
IEEE
:Thispaper introduces a templatearchitecturefor codesignmethodologies.This architecture is basedon a data synchronizedcontrol schemethat is well adaptedto the implementation of num...
131
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
173
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Even prior to content, the genre of a web document leads to a first coarse binary classification of the recall space in relevant and non-relevant documents. Thinking of a genre se...