6719 search results - page 1056 / 1344 » A Generalization of Automatic Sequences |
180
click to vote
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
228
click to vote
ICMI
2004
Springer
16 years 24 days ago
2004
Springer
In this paper, we propose a multimodal system for detecting human activity and interaction patterns in a nursing home. Activities of groups of people are firstly treated as intera...
197
click to vote
ICSOC
2004
Springer
16 years 23 days ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
203
click to vote
IDEAL
2004
Springer
16 years 23 days ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
180
click to vote
IWMM
2004
Springer
16 years 23 days ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...