4913 search results - page 210 / 983 » Results and Perspectives of the G |
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
192
click to vote
FUIN
2008
15 years 6 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
161
click to vote
IPM
2008
15 years 6 months ago
2008
: Advances in the publishing world have emerged new models of digital library development. Open access schemes are expanding their presence and realize the idea of digital library ...
173
click to vote
IJCSA
2006
15 years 6 months ago
2006
A conflict is a common phenomenon that results from the interaction between both individuals and groups of individuals. For the development of knowledge-based systems, one needs t...
156
click to vote
IS
2006
15 years 6 months ago
2006
Service discovery is a critical aspect in the Service Oriented Computing approach. A model, a methodology and a tool environment based on ontologies are proposed in this paper. Th...