Sciweavers

12697 search results - page 380 / 2540
» Call for Papers
Sort
View
FIW
2003
120views Communications» more  FIW 2003»
15 years 8 months ago
A Policy Architecture for Enhancing and Controlling Features
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
Stephan Reiff-Marganiec, Kenneth J. Turner
FSTTCS
2004
Springer
16 years 8 days ago
Decidability of MSO Theories of Tree Structures
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
Angelo Montanari, Gabriele Puppis
ICDCS
2000
IEEE
15 years 11 months ago
Partitionable Light-Weight Groups
Group communication, providing virtual synchrony semantics, is a powerful paradigm for building distributed applications. For applications that require a large number of groups, s...
Luís Rodrigues, Katherine Guo
GAMEON
2007
15 years 8 months ago
Gaming Technology in Cultural Heritage Systems
This paper describes the design and implementation of an interactive walk-through of a reconstructed German stronghold, the Dillenburg. The application is currently in use at the ...
Tim Horz, Albert Pritzkau, Christof Rezk-Salama, S...
IJIT
2004
15 years 8 months ago
A Fuzzy Classifier with Evolutionary Design of Ellipsoidal Decision Regions
A fuzzy classifier using multiple ellipsoids approximating decision regions for classification is to be designed in this paper. An algorithm called Gustafson-Kessel algorithm (GKA)...
Leehter Yao, Kuei-Song Weng, Cherng-Dir Huang