Sciweavers

6829 search results - page 211 / 1366
» Quantitative Generalizations of Languages
Sort
View
FMOODS
2008
15 years 8 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
COLING
2002
15 years 6 months ago
Automatic Semantic Grouping in a Spoken Language User Interface Toolkit
With the rapid growth of real application domains for NLP systems, there is a genuine demand for a general toolkit from which programmers with no linguistic knowledge can build sp...
Hassan Alam, Hua Cheng, Rachmat Hartono, Aman Kuma...
ICFP
2008
ACM
16 years 6 months ago
Experience report: erlang in acoustic ray tracing
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
Christian Convey, Andrew Fredricks, Christopher Ga...
GPCE
2005
Springer
16 years 1 days ago
abc: The AspectBench Compiler for AspectJ
Aspect-oriented programming (AOP) is gaining popularity as a new way of modularising cross-cutting concerns. The aspectbench compiler (abc) is a new workbench for AOP research whi...
Chris Allan, Pavel Avgustinov, Aske Simon Christen...
ANLP
1997
119views more  ANLP 1997»
15 years 7 months ago
Dutch Sublanguage Semantic Tagging combined with Mark-Up Technology
In this paper, we want to show how the morphological component of an existing NLP-system for Dutch (Dutch Medical Language Processor - DMLP) has been extended in order to produce ...
Peter Spyns, Ngo Thanh Nhan, Erik Baert, Naomi Sag...