Sciweavers

3914 search results - page 394 / 783
» Automating SLA modeling
Sort
View
CSL
2008
Springer
15 years 7 months ago
A stopping criterion for active learning
Active learning (AL) is a framework that attempts to reduce the cost of annotating training material for statistical learning methods. While a lot of papers have been presented on...
Andreas Vlachos
GIS
2006
ACM
15 years 6 months ago
B-Spline curve smoothing under position constraints for line generalisation
Currently, most of the operations performed for the construction of marine charts are still done manually. However, with the development of more and more powerful techniques, new ...
Eric Guilbert, Hui Lin 0002
TSE
2008
97views more  TSE 2008»
15 years 6 months ago
Timed Automata Patterns
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
DLOG
2010
15 years 4 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
EMNLP
2010
15 years 4 months ago
Towards Conversation Entailment: An Empirical Investigation
While a significant amount of research has been devoted to textual entailment, automated entailment from conversational scripts has received less attention. To address this limita...
Chen Zhang, Joyce Yue Chai