Sciweavers

852 search results - page 115 / 171
» Small Active Counters
Sort
View
FASE
2004
Springer
14 years 3 months ago
Automated Debugging Using Path-Based Weakest Preconditions
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
Haifeng He, Neelam Gupta
SOFSEM
2004
Springer
14 years 3 months ago
Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...
Matej Makula, Michal Cernanský, Lubica Benu...
ICRA
2003
IEEE
135views Robotics» more  ICRA 2003»
14 years 3 months ago
Visual servoing based on dynamic vision
This paper deals with the way to achieve positioning tasks by visual servoing in the case of planar and motionless objects whose shape is unknown. In fact, we consider here comple...
Ali Alhaj, Christophe Collewet, François Ch...
INFOCOM
2003
IEEE
14 years 3 months ago
Sprite: A Simple, Cheat-Proof, Credit-Based System for Mobile Ad-Hoc Networks
— Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In th...
Sheng Zhong, Jiang Chen, Yang Richard Yang
ISESE
2003
IEEE
14 years 3 months ago
A Study of Collaboration in Software Design
This paper presents a study of collaboration in software design at a large software company. Ethnographic studies of development teams in the field are relatively rare, so this pa...
James Wu, T. C. Nicholas Graham, Paul W. Smith