4636 search results - page 559 / 928 » Modelling and Validation with VipTool |
170
click to vote
ASPDAC
2006
ACM
16 years 26 days ago
2006
ACM
— Process variations in digital circuits make sequential circuit timing validation an extremely challenging task. In this paper, a Statistical Bellman-Ford (SBF) algorithm is pro...
124
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
139
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
180
click to vote
ISMIR
2005
Springer
16 years 12 days ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
171
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
The principal deficiency of image-based visual servoing is that the induced (3D) trajectories are not optimal and sometimes, especially when the displacement to realize is large,...