Sciweavers

5900 search results - page 911 / 1180
» Dependable Systems
Sort
View
IPPS
2009
IEEE
16 years 1 months ago
Using hardware transactional memory for data race detection
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
Shantanu Gupta, Florin Sultan, Srihari Cadambi, Fr...
IROS
2009
IEEE
200views Robotics» more  IROS 2009»
16 years 1 months ago
Fast geometric point labeling using conditional random fields
— In this paper we present a new approach for labeling 3D points with different geometric surface primitives using a novel feature descriptor – the Fast Point Feature Histogram...
Radu Bogdan Rusu, Andreas Holzbach, Nico Blodow, M...
ADC
2009
Springer
113views Database» more  ADC 2009»
16 years 1 months ago
Ranking-Constrained Keyword Sequence Extraction from Web Documents
Given a large volume of Web documents, we consider problem of finding the shortest keyword sequences for each of the documents such that a keyword sequence can be rendered to a g...
Ding-Yi Chen, Xue Li, Jing Liu, Xia Chen
WFLP
2009
Springer
277views Algorithms» more  WFLP 2009»
16 years 1 months ago
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
Stephan Falke, Deepak Kapur
ARGMAS
2009
Springer
16 years 1 months ago
Comparing Argumentation Frameworks for Composite Ontology Matching
Resolving the semantic heterogeneity problem is crucial to allow interoperability between ontology-based systems. Ontology matching based on argumentation is an innovative research...
Cássia Trojahn dos Santos, Paulo Quaresma, ...