Sciweavers

8706 search results - page 323 / 1742
» Learning Subjective Language
Sort
View
113
Voted
ICALT
2006
IEEE
15 years 9 months ago
Evaluation of a Queuing Theory and Systems Modeling Course Based on UML
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...
Athanasios Perdos, Alexander Chatzigeorgiou, Georg...
ICML
1996
IEEE
15 years 7 months ago
Second Tier for Decision Trees
A learner's performance does not rely only on the representation language and on the algorithm inducing a hypothesis in this language. Also the way the induced hypothesis is ...
Miroslav Kubat
261
Voted
POPL
2009
ACM
16 years 4 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri
129
Voted
ICFP
2006
ACM
16 years 3 months ago
Context-parametric polykinded types
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
Pablo Nogueira
138
Voted
PLPV
2010
ACM
16 years 16 days ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross