399 search results - page 78 / 80 » Combining the Animation and Testing of Abstract Data Types |
147
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
125
click to vote
DLOG
2010
15 years 27 days ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
121
click to vote
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
Newsgroup participants interact with their communities through conversation threads. They may respond to a message to answer a question, debate a topic, support or disagree with a...
114
Voted
GFKL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This study focuses on the contribution of sentence length for a quantitative text typology. Therefore, 333 Slovenian texts are analyzed with regard to their sentence leng...
125
Voted
SIGIR
1996
ACM
15 years 7 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...