Sciweavers

2084 search results - page 230 / 417
» An exploration of climate data using complex networks
Sort
View
LCTRTS
2004
Springer
15 years 12 months ago
Spinach: a liberty-based simulator for programmable network interface architectures
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
Paul Willmann, Michael Brogioli, Vijay S. Pai
FOSSACS
2007
Springer
16 years 21 days ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
IUI
2006
ACM
16 years 15 days ago
Eye-tracking to model and adapt to user meta-cognition in intelligent learning environments
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...
Christina Merten, Cristina Conati
PARA
1998
Springer
15 years 10 months ago
Exploiting Visualization and Direct Manipulation to Make Parallel Tools More Communicative
Parallel tools rely on graphical techniques to improve the quality of user interaction. In this paper, we explore how visualization and direct manipulation can be exploited in para...
Cherri M. Pancake
LREC
2008
109views Education» more  LREC 2008»
15 years 8 months ago
The Italian Particle "ne": Corpus Construction and Analysis
The Italian particle ne exhibits interesting anaphoric properties that have not been yet explored in depth from a corpus and computational linguistic perspective. We provide: (i) ...
Malvina Nissim, Sara Perboni