Sciweavers

2414 search results - page 179 / 483
» Computing Normal Subgroups
Sort
View
PPAM
2007
Springer
14 years 3 months ago
Application of Fusion-Fission to the Multi-way Graph Partitioning Problem
This paper presents an application of the Fusion-Fission method to the multi-way graph partitioning problem. The Fusion-Fission method was first designed to solve the normalized c...
Charles-Edmond Bichot
WOLLIC
2007
Springer
14 years 3 months ago
Hydra Games and Tree Ordinals
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
Ariya Isihara
VL
2006
IEEE
105views Visual Languages» more  VL 2006»
14 years 3 months ago
Crossmodal Interaction with Mobile Devices
This paper describes an alternative form of interaction for mobile devices using crossmodal output. These crossmodal displays allow alternative senses such as hearing and touch to...
Eve E. Hoggan, Stephen A. Brewster
LCN
2005
IEEE
14 years 2 months ago
Effective Channel Time Analysis for Mobile Broadband Wireless Networks
— We describe an algorithm to estimate the future cell throughput of a multi-rate broadband wireless network based on previous measurements. The total throughput of a cell depend...
Dennis Pong, Tim Moors
FOSSACS
2005
Springer
14 years 2 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz