Sciweavers

1003 search results - page 98 / 201
» Proposal of Generalized Rule Programming Model
Sort
View
DOCENG
2004
ACM
15 years 11 months ago
A three-way merge for XML documents
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
Tancred Lindholm
GLOBECOM
2006
IEEE
16 years 12 days ago
Optimization on Hybrid Channel Assignment for Multi-channel Multi-radio Wireless Mesh Networks
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...
Andy An-Kai Jeng, Rong-Hong Jan
ICIP
2004
IEEE
16 years 8 months ago
Decomposition of range images using markov random fields
This paper describes a computational model for deriving a decomposition of objects from laser rangefinder data. The process aims to produce a set of parts defined by compactness a...
Andreas Pichler, Robert B. Fisher, Markus Vincze
CL
2007
Springer
15 years 6 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains
POPL
2009
ACM
16 years 7 months ago
A cost semantics for self-adjusting computation
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
Ruy Ley-Wild, Umut A. Acar, Matthew Fluet