Sciweavers

8446 search results - page 1037 / 1690
» A Process Compensation Language
Sort
View
318
Voted
ICLP
2009
Springer
16 years 8 months ago
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
Henning Christiansen, Ole Torp Lassen
167
Voted
SIGCSE
2009
ACM
150views Education» more  SIGCSE 2009»
16 years 7 months ago
Dereferee: exploring pointer mismanagement in student code
Dynamic memory management and the use of pointers are critical topics in teaching the C++ language. They are also some of the most difficult for students to grasp properly. The re...
Anthony Allevato, Manuel A. Pérez-Qui&ntild...
228
Voted
CHI
2004
ACM
16 years 7 months ago
Human-robot speech interface understanding inexplicit utterances using vision
Speech interfaces should have a capability of dealing with inexplicit utterances including such as ellipsis and deixis since they are common phenomena in our daily conversation. T...
Zaliyana Mohd Hanafiah, Chizu Yamazaki, Akio Nakam...
CHI
2003
ACM
16 years 7 months ago
MiTAP for real users, real data, real problems
The MiTAP system was developed as an experimental prototype using human language technologies for monitoring disease outbreaks. The system provides timely, multi-lingual, global i...
Laurie E. Damianos, Steve Wohlever, Robyn Kozierok...
308
Voted
POPL
2008
ACM
16 years 7 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani
« Prev « First page 1037 / 1690 Last » Next »