3536 search results - page 337 / 708 » Local dependent components |
142
click to vote
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
A distributed software system’s deployment architecture can have a significant impact on the system’s properties, which depend on various system parameters, such as network ba...
142
click to vote
CADE
2004
Springer
15 years 9 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...
111
click to vote
ICIAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Introduced seven years ago, the correlogram is a simple statistical image descriptor that nevertheless performs strongly on image retrieval tasks. As a result it has foun...
139
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
113
click to vote
UIALL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we discuss the adaptive User Model component of the AthosMail system, and describe especially the Cooperativity Model which produces recommendations for the appropria...