Sciweavers

1233 search results - page 166 / 247
» Machine translation
Sort
View
B
2007
Springer
14 years 3 months ago
Augmenting B with Control Annotations
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
Wilson Ifill, Steve A. Schneider, Helen Treharne
MLG
2007
Springer
14 years 3 months ago
Graphs, Hypergraphs, and Inductive Logic Programming
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...
Hendrik Blockeel, Tijn Witsenburg, Joost N. Kok
EH
2004
IEEE
98views Hardware» more  EH 2004»
14 years 19 days ago
Self-Replication of 3D Universal Structures
After a survey of some realizations of self-replicating machines, this paper presents the construction based selfreplication of universal 3D structures. This self-replication proc...
André Stauffer, Daniel Mange, Enrico Petrag...
FLAIRS
2006
13 years 10 months ago
Computer-Aided Language Processing
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...
Ruslan Mitkov
CLEF
2005
Springer
14 years 2 months ago
Finding Answers to Indonesian Questions from English Documents
Abstract. Our report describes the results of work in our participation in the IndonesianEnglish question-answering task of the 2006 Cross-Language Evaluation Forum (CLEF). In this...
Mirna Adriani, Rinawati