587 search results - page 29 / 118 » Transformation and Integration Method of Scenarios |
181
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
100
click to vote
ETRA
2008
ACM
14 years 11 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
ASAP
2010
IEEE
14 years 11 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
104
click to vote
DEXA
2011
Springer
13 years 9 months ago
2011
Springer
Record linkage identifies multiple records referring to the same entity even if they are not bit-wise identical. It is thus an essential technology for data integration and data c...
107
Voted
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...