Sciweavers

29152 search results - page 5421 / 5831
» A Model of Computation for MapReduce
Sort
View
KBSE
2010
IEEE
15 years 5 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
KESAMSTA
2010
Springer
15 years 5 months ago
Towards an Integrated Approach of Real-Time Coordination for Multi-agent Systems
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
Ghulam Mahdi, Abdelkader Gouaich, Fabien Michel
MIAR
2010
IEEE
15 years 5 months ago
Marker-Free Registration for Electromagnetic Navigation Bronchoscopy under Respiratory Motion
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
Marco Feuerstein, Takamasa Sugiura, Daisuke Deguch...
MIAR
2010
IEEE
15 years 5 months ago
A Framework for 3D Analysis of Facial Morphology in Fetal Alcohol Syndrome
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...
Jing Wan, Li Shen, Shiaofen Fang, Jason McLaughlin...
MP
2010
145views more  MP 2010»
15 years 5 months ago
The traveling salesman problem with pickup and delivery: polyhedral results and a branch-and-cut algorithm
The Traveling Salesman Problem with Pickup and Delivery (TSPPD) is defined on a graph containing pickup and delivery vertices between which there exists a one-toone relationship. ...
Irina Dumitrescu, Stefan Ropke, Jean-Franço...
« Prev « First page 5421 / 5831 Last » Next »