Sciweavers

2801 search results - page 95 / 561
» On the Adequateness of the Connection Method
Sort
View
AIED
2009
Springer
15 years 11 months ago
Automated Assessment of Oral Reading Prosody
We describe an automated method to assess the expressiveness of children’s oral reading by measuring how well its prosodic contours correlate in pitch, intensity, pauses, and wor...
Jack Mostow, Minh Duong
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
15 years 11 months ago
Teaching Concurrency: Theory in Practice
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
Luca Aceto, Anna Ingólfsdóttir, Kim ...
KCAP
2009
ACM
15 years 11 months ago
A catalogue of OWL ontology antipatterns
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
Catherine Roussey, Óscar Corcho, Luis Manue...
COMPSAC
2005
IEEE
15 years 10 months ago
Designing Controllers for Reachability
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
Cristina Cerschi Seceleanu
SCIA
2005
Springer
224views Image Analysis» more  SCIA 2005»
15 years 10 months ago
Interactive 3-D Modeling System Using a Hand-Held Video Camera
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
Kenji Fudono, Tomokazu Sato, Naokazu Yokoya