10707 search results - page 1846 / 2142 » Designing executable abstractions |
238
click to vote
ECAI
2004
Springer
16 years 18 days ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
194
click to vote
ECOOP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
210
click to vote
ER
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
199
click to vote
ESOP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
195
click to vote
ESWS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In an open environment populated by heterogeneous information services integration will be a major challenge. Even if the problem is similar to planning in some aspects, ...