3690 search results - page 265 / 738 » Computation with classical sequents |
111
Voted
SMI
2007
IEEE
15 years 7 months ago
2007
IEEE
In order to compute texture atlases with low stretch and hardly visible texture seams existing texture mapping tools pose high demands on the quality of surface representations li...
93
Voted
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
106
Voted
MCS
2007
Springer
15 years 7 months ago
2007
Springer
The strength of classifier combination lies either in a suitable averaging over multiple experts/sources or in a beneficial integration of complementary approaches. In this paper...
92
Voted
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
100
Voted
SPIRE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A compressed full-text self-index for a text T is a data structure requiring reduced space and able of searching for patterns P in T. Furthermore, the structure can repro...