Sciweavers

1495 search results - page 113 / 299
» Confirmation in Multimodal Systems
Sort
View
ECOOPW
1999
Springer
15 years 2 months ago
Understanding Object Oriented Software Systems without Source Code Inspection
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
Gerd Köhler, Heinrich Rust, Frank Simon
LREC
2010
123views Education» more  LREC 2010»
14 years 11 months ago
Examining the Effects of Rephrasing User Input on Two Mobile Spoken Language Systems
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...
Nikos Tsourakis, Agnes Lisowska, Manny Rayner, Pie...
MP
2008
94views more  MP 2008»
14 years 10 months ago
The complexity of recognizing linear systems with certain integrality properties
Let A be a 0 - 1 matrix with precisely two 1's in each column and let 1 be the all-one vector. We show that the problems of deciding whether the linear system Ax 1, x 0 (1)...
Guoli Ding, Li Feng, Wenan Zang
NGC
2008
Springer
149views Communications» more  NGC 2008»
14 years 10 months ago
A New Type System for JVM Lock Primitives
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
Futoshi Iwama, Naoki Kobayashi
HICSS
2000
IEEE
113views Biometrics» more  HICSS 2000»
15 years 2 months ago
Initial Evidence for Self-Organized Criticality in Electric Power System Blackouts
We examine correlations in a time series of electric power system blackout sizes using scaled window variance analysis and R/S statistics. The data shows some evidence of long tim...
Benjamin A. Carreras, David E. Newman, Ian Dobson,...