6881 search results - page 1117 / 1377 » Motivation |
178
click to vote
PKDD
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
194
click to vote
PKDD
2005
Springer
16 years 4 days ago
2005
Springer
We consider a problem of elastic matching of time series. We propose an algorithm that automatically determines a subsequence b of a target time series b that best matches a query ...
180
click to vote
RTA
2005
Springer
16 years 4 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
163
click to vote
RULEML
2005
Springer
16 years 4 days ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
141
click to vote
SCHULE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract: Am b.i.b. Dresden werden Berufsfachschüler im Software-EngineeringProjekt mit möglichst realen Projektsituationen bei der Entwicklung objektorientierter Software konfro...