Sciweavers

19003 search results - page 297 / 3801
» We Need Assurance
Sort
View
TMRA
2005
Springer
16 years 6 days ago
A Case for Polyscopic Structuring of Information
We outline the main elements of what we call polyscopic structuring of information and argue that information needs to be structured accordingly. The principles of polyscopy may bo...
Rolf Guescini, Dino Karabeg, Tommy W. Nordeng
TSD
2005
Springer
16 years 6 days ago
Modelling Lexical Stress
Human listeners use lexical stress for word segmentation and disambiguation. We look into using lexical stress for speech recognition by examining a Dutch-language corpus. We propo...
Rogier C. van Dalen, Pascal Wiggers, Léon J...
180
Voted
ICALT
2003
IEEE
16 years 11 hour ago
Supporting Social Awareness: Requirements for Educational CVE
Social awareness is essential for effective learning. However, natural environments do not always provide optimal support for it. We analyze the potentials of Collaborative Virtua...
Ekaterina Prasolova-Førland, Monica Divitin...
FPL
2003
Springer
76views Hardware» more  FPL 2003»
15 years 12 months ago
Quark Routing
With inherent problem complexity, ever increasing instance size and ever decreasing layout area, there is need in physical design for improved heuristics and algorithms. In this in...
Sean T. McCulloch, James P. Cohoon
182
Voted
LICS
2002
IEEE
15 years 11 months ago
The Proof Complexity of Linear Algebra
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
Michael Soltys, Stephen A. Cook