Sciweavers

1874 search results - page 141 / 375
» Abstract Machine for LDL
Sort
View
MLDM
2005
Springer
15 years 8 months ago
Statistical Supports for Frequent Itemsets on Data Streams
Abstract. A statistical technique is developed for estimating the support of itemsets on data streams, regardless of the size of the data stored. This technique, which is computati...
Pierre-Alain Laur, Jean-Emile Symphor, Richard Noc...
WAOA
2005
Springer
92views Algorithms» more  WAOA 2005»
15 years 8 months ago
Rounding of Sequences and Matrices, with Applications
Abstract. We show that any real matrix can be rounded to an integer matrix in such a way that the rounding errors of all row sums are less than one, and the rounding errors of all ...
Benjamin Doerr, Tobias Friedrich, Christian Klein,...
NLDB
2004
Springer
15 years 8 months ago
Accessing an Information System by Chatting
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...
Bayan Abu Shawar, Eric Atwell
ICALT
2003
IEEE
15 years 8 months ago
On Tools for Analysis of Collaborative Problem Solving
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
Nikolaos M. Avouris, Vassilis Komis, Georgios Fiot...
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 8 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman