Sciweavers

3605 search results - page 218 / 721
» Analysis and Applications of the XDI model
Sort
View
ICLP
2009
Springer
16 years 1 months ago
An Engine for Computing Well-Founded Models
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
Terrance Swift
CCS
2003
ACM
15 years 12 months ago
Buffer overrun detection using linear programming and static analysis
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
Vinod Ganapathy, Somesh Jha, David Chandler, David...
132
Voted
TSD
1999
Springer
15 years 11 months ago
Speech Analysis and Recognition Synchronised by One-Quasiperiodical Segmentation
It is shown that the best ASR results are attained when a pre-processing is carried out synchronically with pitch. Specifically, an analysis step has to be equal to the current one...
Taras K. Vintsiuk, Mykola M. Sazhok
ECTEL
2008
Springer
15 years 8 months ago
Interaction Analysis Supporting Participants' Self-regulation in a Generic CSCL System
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...
Jacques Lonchamp
ECCV
2008
Springer
16 years 8 months ago
Statistical Analysis of Global Motion Chains
Abstract. Multiple elements such as lighting, colors, dialogue, and camera motion contribute to the style of a movie. Among them, camera motion is commonly overlooked yet a crucial...
Jenny Yuen, Yasuyuki Matsushita