1413 search results - page 88 / 283 » Bisimilarity of Open Terms |
152
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...
171
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
163
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
I present analysis examining some of the causes of poor connectivity in developing countries. Based on a technoeconomic analysis and design, I show that technical limitations per ...
158
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
150
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...