3690 search results - page 684 / 738 » Computation with classical sequents |
VRST
2010
ACM
13 years 8 months ago
2010
ACM
The Walking-In-Place interaction technique was introduced to navigate infinitely in 3D virtual worlds by walking in place in the real world. The technique has been initially devel...
WICON
2010
13 years 8 months ago
2010
Inter-cell interference (ICI) mitigation is always a big challenge issue in cellular systems. In this work we propose an Enhanced Fractional Frequency Reuse (EFFR) scheme with an i...
ANCS
2009
ACM
13 years 8 months ago
2009
ACM
As the Internet grows, both the number of rules in packet filtering databases and the number of prefixes in IP lookup tables inside the router are growing. The packet processing e...
GI
2009
Springer
13 years 8 months ago
2009
Springer
: Statistics and estimation theory is enriched with techniques derived from differential geometry. This establishes the increasing topic of information geometry. This allows new in...
ICFEM
2009
Springer
13 years 8 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...