Sciweavers

2440 search results - page 356 / 488
» Explanation-Based Feature Construction
Sort
View
EMSOFT
2004
Springer
15 years 10 months ago
A typed assembly language for real-time programs
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
Thomas A. Henzinger, Christoph M. Kirsch
IEAAIE
2004
Springer
15 years 9 months ago
Recognition of Emotional States in Spoken Dialogue with a Robot
For flexible interactions between a robot and humans, we address the issue of automatic recognition of human emotions during the interaction such as embarrassment, pleasure, and af...
Kazunori Komatani, Ryosuke Ito, Tatsuya Kawahara, ...
ISMS
2004
Springer
15 years 9 months ago
Liver Vessel Parameter Estimation from Tactile Imaging Information
Realistic tissue models require accurate representations of the properties of in vivo tissue. This study examines the potential for tactile imaging to measure tissue properties an...
Anna M. Galea, Robert D. Howe
IWMM
2004
Springer
82views Hardware» more  IWMM 2004»
15 years 9 months ago
Write barrier elision for concurrent garbage collectors
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...
Martin T. Vechev, David F. Bacon
IWMM
2004
Springer
92views Hardware» more  IWMM 2004»
15 years 9 months ago
Memory accounting without partitions
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
Adam Wick, Matthew Flatt