Sciweavers

6833 search results - page 182 / 1367
» Some two-character sets
Sort
View
WMTE
2005
IEEE
15 years 10 months ago
Supporting Classroom Activities with the BSUL Environment
In this paper we present our ongoing research about the integration of ubiquitous computing systems into classroom settings, in order to give basic support for some classroom and ...
Nobuji A. Saito, Hiroaki Ogata, Rosa G. J. Paredes...
146
Voted
AAIM
2005
Springer
122views Algorithms» more  AAIM 2005»
15 years 10 months ago
Complexity of Minimal Tree Routing and Coloring
Let G be a undirected connected graph. Given a set of g groups each being a subset of V (G), tree routing and coloring is to produce g trees in G and assign a color to each of them...
Xujin Chen, Xiao-Dong Hu, Xiaohua Jia
COLT
2003
Springer
15 years 9 months ago
Preference Elicitation and Query Learning
Abstract. In this paper we initiate an exploration of relationships between “preference elicitation”, a learning-style problem that arises in combinatorial auctions, and the pr...
Avrim Blum, Jeffrey C. Jackson, Tuomas Sandholm, M...
ECSQARU
2003
Springer
15 years 9 months ago
On Iterated Revision in the AGM Framework
While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investi...
Andreas Herzig, Sébastien Konieczny, Lauren...
126
Voted
ICFP
1999
ACM
15 years 9 months ago
A Simple Proof Technique for Certain Parametricity Results
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
Karl Crary