3116 search results - page 560 / 624 » Positively dependent types |
SIGUCCS
2005
ACM
15 years 3 months ago
2005
ACM
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...
PKDD
2005
Springer
15 years 3 months 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...
ISPD
2004
ACM
15 years 3 months ago
2004
ACM
As the CMOS technology is scaled into the dimension of nanometer, the clock frequencies and die sizes of ICs are shown to be increasing steadily [5]. Today, global wires that requ...
CINQ
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...