1026 search results - page 141 / 206 » Semantic Components for Timetabling |
130
Voted
CIS
2005
Springer
15 years 8 months ago
2005
Springer
Different from familiar clustering objects, text documents have sparse data spaces. A common way of representing a document is as a bag of its component words, but the semantic re...
88
Voted
ISI
2005
Springer
15 years 8 months ago
2005
Springer
Verification of legitimate access of documents, which is one aspect of the umbrella of problems in the Insider Threat category, is a challenging problem. This paper describes the r...
102
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
122
click to vote
CADE
2004
Springer
15 years 8 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
123
Voted
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...