7049 search results - page 80 / 1410 » Data Abstraction for CSP-OZ |
SEBD
2003
14 years 5 days ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
CLEF
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Most Information Retrieval models take documents as Bagof-Words and are thereby bound to the language of the documents. In this paper, we present an approach using Linked...
IEICET
2007
13 years 10 months ago
2007
abstraction and text mining methods to exploit the collected data. Furthermore, our visual discovery system D2MS allowed to actively and effectively working with physicians. Signi...
CAV
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
CACM
2008
13 years 11 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...