Sciweavers

2496 search results - page 409 / 500
» On covering by translates of a set
Sort
View
FLOPS
2008
Springer
15 years 3 months ago
Rewriting and Call-Time Choice: The HO Case
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
Francisco Javier López-Fraguas, Juan Rodr&i...
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 3 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
FPL
2008
Springer
122views Hardware» more  FPL 2008»
15 years 3 months ago
Mining Association Rules with systolic trees
Association Rules Mining (ARM) algorithms are designed to find sets of frequently occurring items in large databases. ARM applications have found their way into a variety of field...
Song Sun, Joseph Zambreno
BCSHCI
2007
15 years 3 months ago
Experiences with structured interviewing of children during usability tests
In this paper we describe an exploratory study on the use of a structured interviewing evaluation technique with 6 to 8 year old children. The study examines whether children are ...
Arnold P. O. S. Vermeeren, Mathilde M. Bekker, Ils...
ECIR
2010
Springer
15 years 3 months ago
Extracting Multilingual Topics from Unaligned Comparable Corpora
Topic models have been studied extensively in the context of monolingual corpora. Though there are some attempts to mine topical structure from cross-lingual corpora, they require ...
Jagadeesh Jagarlamudi, Hal Daumé III