Sciweavers

3692 search results - page 648 / 739
» Active learning and its use in computer science
Sort
View
LATIN
2010
Springer
16 years 1 months ago
Modelling the LLL Algorithm by Sandpiles
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
Manfred Madritsch, Brigitte Vallée
ERSHOV
2009
Springer
16 years 1 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
DIM
2009
ACM
16 years 28 days ago
Mnikr: reputation construction through human trading of distributed social identities
Reputation forms an important part of how we come to trust people in face-to-face interactions, and thus situations involving trust online have come to realize that reputation is ...
Brendan Francis O'Connor, John Linwood Griffin
HICSS
2003
IEEE
124views Biometrics» more  HICSS 2003»
15 years 11 months ago
Knowledge Map Creation and Maintenance for Virtual Communities of Practice
This paper proposes a knowledge map management system to facilitate knowledge management in virtual communities of practice. To realize the proposed knowledge map management, we d...
Fu-ren Lin, Chih-ming Hsueh
CEC
2008
IEEE
15 years 8 months ago
Directed trees: A powerful representation for sorting and ordering problems
We present a simple framework for dealing with search spaces consisting of permutations. To demonstrate its usefulness, we build upon it a simple (1 + 1)-evolutionary algorithm fo...
Benjamin Doerr, Edda Happ