13383 search results - page 281 / 2677 » Abstractions from proofs |
201
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...
156
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
150
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
195
click to vote
ENTCS
2008
15 years 6 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
188
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...