4902 search results - page 304 / 981 » Structures, Semantics and Statistics |
210
click to vote
MKM
2004
Springer
16 years 18 hour ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
172
click to vote
PROMAS
2004
Springer
16 years 13 hour ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
196
click to vote
FTDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
The exponential data growth rate of the Internet makes it increasingly difficult for people to find desired information in a timely fashion. Information filtering and dissemina...
161
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
The type of collaboration for a group, whether working in parallel or collectively, is a style for a group influenced by many factors, among them the technology that the group wor...
188
click to vote
ICCS
1994
Springer
15 years 10 months ago
1994
Springer
This paper gives a data structure (UDS) for supporting database retrieval, inference and machine learning that attempts to unify and extend previous work in relational databases, ...