Sciweavers

1220 search results - page 36 / 244
» Guided Data Repair
Sort
View
SPIN
2000
Springer
14 years 6 days ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
VISUALIZATION
1995
IEEE
14 years 5 days ago
Tensor Product Surfaces Guided by Minimal Surface Area Triangulations
We present a method for constructing tensor product Bezier surfaces from contour (cross-section) data. Minimal area triangulations are used to guide the surface construction, and ...
John K. Johnstone, Kenneth R. Sloan
TSMC
2011
324views more  TSMC 2011»
13 years 3 months ago
Genetic Algorithms With Guided and Local Search Strategies for University Course Timetabling
—The university course timetabling problem (UCTP) is a combinatorial optimization problem, in which a set of events has to be scheduled into time slots and located into suitable ...
Shengxiang Yang, Sadaf Naseem Jat
SGAI
2005
Springer
14 years 2 months ago
A Camera-Direction Dependent Visual-Motor Coordinate Transformation for a Visually Guided Neural Robot
Objects of interest are represented in the brain simultaneously in different frames of reference. Knowing the positions of one’s head and eyes, for example, one can compute the...
Cornelius Weber, David Muse, Mark Elshaw, Stefan W...
TPCG
2003
IEEE
14 years 1 months ago
Guided Navigation in Task-Oriented 3D Graph Visualizations
In many application areas an optimal visualization of a complex graph depends on the specific task to be accomplished by the user. Therefore a means of locally customizable layou...
Guido Reina, Sven Lange-Last, Klaus D. Engel, Thom...