Sciweavers

217 search results - page 26 / 44
» Abstract Processes of Place Transition Systems
Sort
View
LICS
2000
IEEE
14 years 1 months ago
Virtual Symmetry Reduction
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
E. Allen Emerson, John Havlicek, Richard J. Trefle...
PDP
2010
IEEE
14 years 1 months ago
hwloc: A Generic Framework for Managing Hardware Affinities in HPC Applications
The increasing numbers of cores, shared caches and memory nodes within machines introduces a complex hardware topology. High-performance computing applications now have to carefull...
François Broquedis, Jérôme Cle...
TON
2010
118views more  TON 2010»
13 years 3 months ago
Capacity Scaling of Wireless Networks With Inhomogeneous Node Density: Lower Bounds
Abstract-- We consider static ad hoc wireless networks comprising significant inhomogeneities in the node spatial distribution over the area, and analyze the scaling laws of their ...
Giusi Alfano, Michele Garetto, Emilio Leonardi, Va...
ICCPOL
2009
Springer
14 years 3 months ago
Transliteration Based Text Input Methods for Telugu
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...
V. B. Sowmya, Vasudeva Varma
SAMT
2007
Springer
137views Multimedia» more  SAMT 2007»
14 years 2 months ago
Leveraging Ontologies, Context and Social Networks to Automate Photo Annotation
Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...
Fergal Monaghan, David O'Sullivan