Sciweavers

14577 search results - page 2794 / 2916
» Statistical Language Modelling
Sort
View
123
Voted
AIRS
2004
Springer
15 years 6 months ago
Combining Sentence Length with Location Information to Align Monolingual Parallel Texts
Abundant Chinese paraphrasing resource on Internet can be attained from different Chinese translations of one foreign masterpiece. Paraphrases corpus is the corpus that includes s...
Weigang Li, Ting Liu, Sheng Li
APN
2004
Springer
15 years 6 months ago
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
Alexander Norta
113
Voted
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 6 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
CDB
2004
Springer
158views Database» more  CDB 2004»
15 years 6 months ago
Constraint Databases, Data Structures and Efficient Query Evaluation
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
Joos Heintz, Bart Kuijpers
121
Voted
ARGMAS
2006
Springer
15 years 6 months ago
An Argumentation-Based Approach for Practical Reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
« Prev « First page 2794 / 2916 Last » Next »