5550 search results - page 43 / 1110 » Different Approaches to Proof Systems |
174
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— Internet flash crowds (a.k.a. hot spots) are a phenomenon that result from a sudden, unpredicted increase in an on-line object’s popularity. Currently, there is no e...
143
click to vote
LICS
2007
IEEE
16 years 9 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
149
Voted
HUMO
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. This paper introduces a hand tracking system with a theoretical proof of convergence. The tracking system follows a model-based approach and uses image-based cues, namely...
155
click to vote
IJCAI
2007
15 years 7 months ago
2007
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
138
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The most apparent proof of changes in the public sector because of modern information and communication technologies are electronic services like general onlineinformation procure...