Sciweavers

3831 search results - page 638 / 767
» Dynamic Context Logic
Sort
View
78
Voted
SIGCSE
2004
ACM
82views Education» more  SIGCSE 2004»
15 years 6 months ago
Handwritten slides on a tabletPC in a discrete mathematics course
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...
Evan Golub
128
Voted
ATAL
2004
Springer
15 years 6 months ago
Learning User Preferences for Wireless Services Provisioning
The problem of interest is how to dynamically allocate wireless access services in a competitive market which implements a take-it-or-leave-it allocation mechanism. In this paper ...
George Lee, Steven Bauer, Peyman Faratin, John Wro...
114
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow
CONCUR
2004
Springer
15 years 6 months ago
Session Types for Functional Multithreading
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
Vasco Thudichum Vasconcelos, António Ravara...
98
Voted
GECCO
2004
Springer
15 years 6 months ago
Systematic Integration of Parameterized Local Search Techniques in Evolutionary Algorithms
Application-specific, parameterized local search algorithms (PLSAs), in which optimization accuracy can be traded off with runtime, arise naturally in many optimization contexts....
Neal K. Bambha, Shuvra S. Bhattacharyya, Jürg...