Sciweavers

11065 search results - page 1951 / 2213
» Education
Sort
View
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 4 months ago
Shortest path problem in rectangular complexes of global nonpositive curvature
Abstract. CAT(0) metric spaces constitute a far-reaching common generalization of Euclidean and hyperbolic spaces and simple polygons: any two points x and y of a CAT(0) metric spa...
Victor Chepoi, Daniela Maftuleac
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 4 months ago
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
Manu Jose, Rupak Majumdar
CORR
2010
Springer
257views Education» more  CORR 2010»
15 years 4 months ago
Survey on Various Gesture Recognition Techniques for Interfacing Machines Based on Ambient Intelligence
Gesture recognition is mainly apprehensive on analyzing the functionality of human wits. The main goal of gesture recognition is to create a system which can recognize specific hu...
Harshith C, Karthik R. Shastry, Manoj Ravindran, M...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 4 months ago
Using Semantic Wikis for Structured Argument in Medical Domain
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
Adrian Groza, Radu Balaj
CORR
2010
Springer
110views Education» more  CORR 2010»
15 years 4 months ago
Provenance and evidence in UniProtKB
Abstract. The primary mission of UniProt is to support biological research by maintaining a stable, comprehensive, fully classified, richly and accurately annotated protein sequenc...
Jerven Bolleman, Alain Gateau, Sebastien Gehant, N...
« Prev « First page 1951 / 2213 Last » Next »