Sciweavers

2435 search results - page 233 / 487
» Intellexer Question Answering
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
A study of the uniqueness of source code
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...
Mark Gabel, Zhendong Su
HIS
2009
15 years 4 months ago
Applying Concept Mapping on the Influent Learning in Virtual Classroom
The diversity of learning abilities between learners in the virtual classroom is wider than those in traditional classroom. It is difficult to prepare a suitable teaching material ...
Rong-Chung Chen, Shu-Chen Liu
153
Voted
CORR
2010
Springer
65views Education» more  CORR 2010»
15 years 4 months ago
Uniqueness of models in persistent homology: the case of curves
We consider generic curves in R2 , i.e. generic C1 functions f : S1 R2 . We analyze these curves through the persistent homology groups of a filtration induced on S1 by f. In parti...
Patrizio Frosini, Claudia Landi
JAIR
2011
123views more  JAIR 2011»
15 years 1 months ago
The Complexity of Integer Bound Propagation
Bound propagation is an important Artificial Intelligence technique used in Constraint Programming tools to deal with numerical constraints. It is typically embedded within a sea...
Lucas Bordeaux, George Katsirelos, Nina Narodytska...
SYNTHESE
2011
177views more  SYNTHESE 2011»
15 years 1 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets