7452 search results - page 1198 / 1491 » A Semantics for Multiprocessor Systems |
163
click to vote
TVCG
2008
15 years 6 months ago
2008
This paper proposes novel methods for visualizing specifically the large power-law graphs that arise in sociology and the sciences. In such cases a large portion of edges can be sh...
179
click to vote
JWSR
2007
15 years 6 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
179
click to vote
DEBU
2002
15 years 6 months ago
2002
Community web sites exhibit two dominating properties: They often need to integrate many different information sources and they require an adequate web site management system. SEA...
297
click to vote
ENTCS
2002
15 years 6 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
204
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...