3653 search results - page 624 / 731 » On Recognizable Timed Languages |
162
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
180
click to vote
NAACL
2010
15 years 3 months ago
2010
The quality of a statistical machine translation (SMT) system is heavily dependent upon the amount of parallel sentences used in training. In recent years, there have been several...
170
click to vote
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
We develop query relaxation techniques for regular path queries and combine them with query approximation in order to support flexible querying of RDF data when the user lacks know...
235
click to vote
SIES
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
189
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...