Sciweavers

2564 search results - page 158 / 513
» Witness sets of projections
Sort
View
ENTCS
2006
105views more  ENTCS 2006»
15 years 5 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin
IJHCI
2008
58views more  IJHCI 2008»
15 years 5 months ago
Social TV: Designing for Distributed, Sociable Television Viewing
Media research has shown that people enjoy watching television as a part of socializing in groups. However, many constraints in daily life limit the opportunities for doing so. Th...
Nicolas Ducheneaut, Robert J. Moore, Lora Oehlberg...
IJON
2008
109views more  IJON 2008»
15 years 5 months ago
Unsupervised learning neural network with convex constraint: Structure and algorithm
This paper proposed a kind of unsupervised learning neural network model, which has special structure and can realize an evaluation and classification of many groups by the compres...
Hengqing Tong, Tianzhen Liu, Qiaoling Tong
IJWBC
2006
111views more  IJWBC 2006»
15 years 5 months ago
Creativity techniques meet the web
Creativity techniques such as Brainstorming are successfully used in face-to-face meetings for some time to promote creativity and innovation. In this paper, we present an approac...
Wolfgang Woerndl, Daniela Eicker, Patrick Gruban
177
Voted
EOR
2007
111views more  EOR 2007»
15 years 5 months ago
Linear programming based algorithms for preemptive and non-preemptive RCPSP
: In this paper, the RCPSP (Resource Constrained Project Scheduling Problem) is solved using a linear programming model. Each activity may or may not be preemptive. Each variable i...
Jean Damay, Alain Quilliot, Eric Sanlaville