Sciweavers

8582 search results - page 119 / 1717
» Here or There
Sort
View
MFCS
2007
Springer
16 years 17 days ago
Semisimple Algebras of Almost Minimal Rank over the Reals
Abstract. A famous lower bound for the bilinear complexity of the multiplication in associative algebras is the Alder–Strassen bound. Algebras for which this bound is tight are c...
Markus Bläser, Andreas Meyer de Voltaire
PACT
2007
Springer
16 years 17 days ago
Orthogonal Organized Finite State Machine Application to Sensor Acquired Information
The application of the Orthogonal Organized Finite State Machine (OOFSM) to the representation of data acquired by sensor networks is proposed. The OOFSM was proposed in earlier wo...
Brian J. d'Auriol, John Kim, Sungyoung Lee, Young-...
STACS
2007
Springer
16 years 16 days ago
Bounded-Variable Fragments of Hybrid Logics
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
Thomas Schwentick, Volker Weber
IAT
2006
IEEE
16 years 15 days ago
A Multi-agent Mechanism for Topology Balancing in Unstructured P2P Networks
Unstructured P2P networks can grow in an ad-hoc and give rise to scale-free graphs where most of the nodes form clusters or hubs around few resourceful nodes. This leads to conges...
Prithviraj Dasgupta
IAT
2006
IEEE
16 years 15 days ago
Symbolic Negotiation in Linear Logic with Coalition Formation
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
Peep Küngas, Mihhail Matskin