Sciweavers

5022 search results - page 794 / 1005
» Data structures and problem solving using Java
Sort
View
ENTCS
2008
105views more  ENTCS 2008»
15 years 2 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
IJCM
2007
64views more  IJCM 2007»
15 years 2 months ago
Local defect correction in numerical simulation of surface remelting
We study the efficient numerical simulation of laser surface remelting, a process to improve the surface quality of steel components. To this end we use adaptive grids, which are...
Martijn Anthonissen
ICMCS
2009
IEEE
415views Multimedia» more  ICMCS 2009»
15 years 1 days ago
A new localized superpixel Markov random field for image segmentation
In this paper, we present a novel localized Markov random field (MRF) method based on superpixels for region segmentation. Early vision problems could be formulated as pixel label...
Xiaofeng Wang, Xiao-Ping Zhang
IPPS
2002
IEEE
15 years 7 months ago
FARM: A Feedback-Based Adaptive Resource Management for Autonomous Hot-Spot Convergence System
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
S. Swaminathan, G. Manimaran
146
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
Encoding Program Executions
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
Steven P. Reiss, Manos Renieris