Sciweavers

6171 search results - page 186 / 1235
» The FrameNet Data and Software
Sort
View
ETRA
2006
ACM
165views Biometrics» more  ETRA 2006»
15 years 10 months ago
Empathic tutoring software agents using real-time eye tracking
This paper describes an empathic software agent (ESA) interface using eye movement information to facilitate empathy-relevant reasoning and behavior. Eye movement tracking is used...
Hua Wang, Mark H. Chignell, Mitsuru Ishizuka
LCPC
2005
Springer
15 years 9 months ago
Software Thread Level Speculation for the Java Language and Virtual Machine Environment
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
Christopher J. F. Pickett, Clark Verbrugge
VMCAI
2004
Springer
15 years 9 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
148
Voted
CC
2003
Springer
15 years 9 months ago
Early Control of Register Pressure for Software Pipelined Loops
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
Sid Ahmed Ali Touati, Christine Eisenbeis
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
15 years 9 months ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...