Sciweavers

950 search results - page 53 / 190
» Data Integration Using DataPile Structure
Sort
View
CADE
2009
Springer
16 years 2 months ago
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
Martin C. Rinard
ICIP
2003
IEEE
16 years 3 months ago
Geometric segmentation of 3D structures
Segmentation in volumetric images deals with separating `objects' from their `background' in a given 3D data. Usually, one starts with `edge detectors' that give bi...
Ron Kimmel
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 6 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
120
Voted
EMNLP
2010
15 years 7 days ago
Joint Training and Decoding Using Virtual Nodes for Cascaded Segmentation and Tagging Tasks
Many sequence labeling tasks in NLP require solving a cascade of segmentation and tagging subtasks, such as Chinese POS tagging, named entity recognition, and so on. Traditional p...
Xian Qian, Qi Zhang, Yaqian Zhou, Xuanjing Huang, ...
MICCAI
2010
Springer
15 years 19 days ago
Detecting Brain Activation in fMRI Using Group Random Walker
Due to the complex noise structure of functional magnetic resonance imaging (fMRI) data, methods that rely on information within a single subject often results in unsatisfactory fu...
Bernard Ng, Ghassan Hamarneh, Rafeef Abugharbieh