Sciweavers

8008 search results - page 442 / 1602
» Computer-Aided Language Processing
Sort
View
IS
2008
15 years 4 months ago
DFL: A dataflow language based on Petri nets and nested relational calculus
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Je...
JUCS
2007
90views more  JUCS 2007»
15 years 4 months ago
Supporting the Authoring and Operationalization of Educational Modelling Languages
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...
Iván Martínez-Ortiz, Pablo Moreno-Ge...
CL
1999
Springer
15 years 4 months ago
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
Jimmy Ho-Man Lee, Ho-fung Leung
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 5 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
ICDAR
2009
IEEE
15 years 11 months ago
High Performance Chinese/English Mixed OCR with Character Level Language Identification
Currently, there have been several high performance OCR products for Chinese or for English. However, no one OCR technique can be simultaneously fit for both the English and the C...
Kai Wang, Jianming Jin, Qingren Wang