21319 search results - page 3568 / 4264 » An Approach for Method Reengineering |
177
click to vote
ROBIO
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— We address the problem of robotic real-time binaural hearing using a humanoid head. The sound detection ability for a previously proposed robotic 3D binaural sound loca...
185
Voted
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 1 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
200
Voted
SMI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a method to simulate growth phenomena, and its application to the modeling of complex organic shapes (e.g., plants organs) and folded surfaces. Our main contri...
192
click to vote
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
215
Voted
SYNASC
2006
IEEE
16 years 1 months ago
2006
IEEE
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...