5499 search results - page 379 / 1100 » Generalized Rewrite Theories |
179
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
204
click to vote
GLVLSI
2003
IEEE
16 years 27 days ago
2003
IEEE
In this work we ask the fundamental question: How many bits of information can be stored in a crossbar switching network? The answer is trivial when the switches of the network ar...
185
click to vote
DPPI
2003
ACM
16 years 26 days ago
2003
ACM
In this paper, we discuss and compare two user centred methods applied in concept design: observation and probes. The comparison is based on findings from two case studies. In the...
197
click to vote
SPAA
2003
ACM
16 years 25 days ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
190
click to vote
ATAL
2003
Springer
16 years 25 days ago
2003
Springer
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...