Sciweavers

7962 search results - page 394 / 1593
» Conceptions of information science
Sort
View
ACSC
2004
IEEE
15 years 10 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
STACS
1991
Springer
15 years 10 months ago
On Aperiodic Trace Languages
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
Giovanna Guaiana, Antonio Restivo, Sergio Salemi
DIS
2007
Springer
15 years 8 months ago
Reducing Trials by Thinning-Out in Skill Discovery
In this paper, we propose a new concept, thinning-out, for reducing the number of trials in skill discovery. Thinning-out means to skip over such trials that are unlikely to improv...
Hayato Kobayashi, Kohei Hatano, Akira Ishino, Ayum...
DIS
2008
Springer
15 years 8 months ago
Constructing Iceberg Lattices from Frequent Closures Using Generators
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...
Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, R...
ECTEL
2008
Springer
15 years 8 months ago
Towards Accessing Disparate Educational Data in a Single, Unified Manner
Abstract. Educational researchers need to exchange and compare their learnerinteraction data in order to benefit the learning science community as a whole. In order to support this...
Erica Melis, Bruce M. McLaren, Silvana Solomon