Sciweavers

46084 search results - page 9190 / 9217
» Developments in WIS development
Sort
View
IJDET
2010
123views more  IJDET 2010»
13 years 5 months ago
An Adaptive Course Generation Framework
: Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials acc...
Frederick W. B. Li, Rynson W. H. Lau, Parthiban Dh...
IJEIS
2010
80views more  IJEIS 2010»
13 years 5 months ago
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
Kerstin Altmanninger, Wieland Schwinger, Gabriele ...
IJON
2010
121views more  IJON 2010»
13 years 5 months ago
Sample-dependent graph construction with application to dimensionality reduction
Graph construction plays a key role on learning algorithms based on graph Laplacian. However, the traditional graph construction approaches of -neighborhood and k-nearest-neighbor...
Bo Yang, Songcan Chen
IJRR
2010
125views more  IJRR 2010»
13 years 5 months ago
Mechanics of Flexible Needles Robotically Steered through Soft Tissue
The tip asymmetry of a bevel-tip needle results in the needle naturally bending when it is inserted into soft tissue. This enables robotic needle steering, which can be used in me...
Sarthak Misra, Kyle B. Reed, Benjamin W. Schafer, ...
INFSOF
2010
173views more  INFSOF 2010»
13 years 5 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
« Prev « First page 9190 / 9217 Last » Next »