Sciweavers

1495 search results - page 207 / 299
» Confirmation in Multimodal Systems
Sort
View
AI
2006
Springer
14 years 10 months ago
Generating and evaluating evaluative arguments
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
Giuseppe Carenini, Johanna D. Moore
SIAMSC
2008
97views more  SIAMSC 2008»
14 years 9 months ago
Long-Time Simulations on High Resolution Meshes to Model Calcium Waves in a Heart Cell
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...
Matthias K. Gobbert
ICSM
2009
IEEE
14 years 7 months ago
Assessing the impact of framework changes using component ranking
Most of today's software applications are built on top of libraries or frameworks. Just as applications evolve, libraries and frameworks also evolve. Upgrading is straightfor...
Reishi Yokomori, Harvey P. Siy, Masami Noro, Katsu...
DAC
2008
ACM
15 years 11 months ago
Cache modeling in probabilistic execution time analysis
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
Yun Liang, Tulika Mitra
DAC
2004
ACM
15 years 11 months ago
Profile-based optimal intra-task voltage scheduling for hard real-time applications
This paper presents a set of comprehensive techniques for the intratask voltage scheduling problem to reduce energy consumption in hard real-time tasks of embedded systems. Based ...
Jaewon Seo, Taewhan Kim, Ki-Seok Chung