Sciweavers

1551 search results - page 28 / 311
» How Typical is the
Sort
View
APLAS
2010
ACM
15 years 3 months ago
Type Inference for Sublinear Space Functional Programming
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
Ugo Dal Lago, Ulrich Schöpp
APSEC
2005
IEEE
15 years 10 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
ISCAS
2006
IEEE
103views Hardware» more  ISCAS 2006»
15 years 10 months ago
A neural model for sonar-based navigation in obstacle fields
— The rapid control of sonar-guided vehicles through obstacle fields has been a goal of robotics for decades. How sensory data is represented strongly affects how obstacles and g...
Timothy K. Horiuchi
101
Voted
TSD
2005
Springer
15 years 9 months ago
Cluster Analysis of Railway Directory Inquire Dialogs
Cluster analysis of dialogs with transport directory service allows revealing the typical scenarios of dialogs, which is useful for designing automatic dialog systems. We show how ...
Mikhail Alexandrov, Emilio Sanchis Arnal, Paolo Ro...
SIGMOD
2006
ACM
148views Database» more  SIGMOD 2006»
16 years 4 months ago
Research issues in data stream association rule mining
There exist emerging applications of data streams that require association rule mining, such as network traffic monitoring and web click streams analysis. Different from data in t...
Nan Jiang, Le Gruenwald