4352 search results - page 254 / 871 » A Representation Theorem and Applications |
183
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
171
click to vote
CSFW
2005
IEEE
16 years 26 days ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
164
click to vote
TPHOL
2005
IEEE
16 years 25 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
180
click to vote
FROCOS
2005
Springer
16 years 23 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
191
click to vote
MKM
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...