18429 search results - page 456 / 3686 » Typing dynamic typing |
223
click to vote
APAL
2011
15 years 2 months ago
2011
We develop the theory of domination by stable types and stable weight in an arbitrary theory.
180
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...
158
click to vote
ISLPED
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we identify the key challenges that oppose subthreshold circuit design and describe fabricated chips that verify techniques for overcoming the challenges. Categorie...
183
click to vote
TARK
2005
Springer
16 years 1 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
180
click to vote
EDM
2008
15 years 9 months ago
2008
We compare the purposes, inputs, representations, and assumptions of three methods to evaluate the fine-grained interactions of intelligent tutors with their students. One method i...