323 search results - page 17 / 65 » Doing it right |
108
click to vote
TEX
2004
Springer
15 years 5 months ago
2004
Springer
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
117
click to vote
WORDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
CHI
2003
ACM
15 years 5 months ago
2003
ACM
This paper introduces new interactive ways to create, manipulate and analyze shapes, even when those shapes do not have simple algebraic generators. This is made possible by using...
CIKM
2003
Springer
15 years 5 months ago
2003
Springer
We describe a system for extracting mentions of terms such as company and product names, in a large and noisy corpus of documents, such as the World Wide Web. Since natural langua...
FM
2003
Springer
15 years 5 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...