Sciweavers

2414 search results - page 88 / 483
» Reasoning Support for OWL-E
Sort
View
ACSC
2004
IEEE
14 years 1 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
ACSW
2004
13 years 11 months ago
Detecting Stress in Spoken English using Decision Trees and Support Vector Machines
This paper describes an approach to the detection of stress in spoken New Zealand English. After identifying the vowel segments of the speech signal, the approach extracts two dif...
Huayang Xie, Peter Andreae, Mengjie Zhang, Paul Wa...
EUROPLOP
2006
13 years 11 months ago
Supporting the Selection of Design Patterns by Formal Definition and Considering Semantics
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
Klaus Meffert
CSCW
2000
ACM
13 years 9 months ago
Talking Work: Language-games, Organisations and Computer Supported Cooperative Work
This paper asks the question: how might CSCW system design obtain and be informed by an adequate real-world, real-time understanding of work and organisation on any occasion of wor...
Andy Crabtree
TCSV
2002
94views more  TCSV 2002»
13 years 9 months ago
Supporting image and video applications in a multihop radio environment using path diversity and multiple description coding
This paper examines the effectiveness of combining multiple description coding (MDC) and multiple path transport (MPT) for video and image transmission in a multihop mobile radio n...
Nitin Gogate, Doo-Man Chung, Shivendra S. Panwar, ...