Sciweavers

19003 search results - page 297 / 3801
» We Need Assurance!
Sort
View
TMRA
2005
Springer
16 years 27 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 27 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...
ICALT
2003
IEEE
16 years 22 days 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»
16 years 19 days 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
201
Voted
LICS
2002
IEEE
16 years 10 days 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