Sciweavers

788 search results - page 96 / 158
» Design and use of a system-level specification and verificat...
Sort
View
IROS
2006
IEEE
127views Robotics» more  IROS 2006»
16 years 12 days ago
A Pilot Study on Teleoperated Mobile Robots in Home Environments
– Mobile robots operating in home environments must deal with constrained space and a great variety of obstacles and situations to handle. This article presents a pilot study aim...
Daniel Labonte, François Michaud, Patrick B...
JSS
2006
59views more  JSS 2006»
15 years 6 months ago
A survey of architecture design rationale
Many claims have been made about the consequences of not documenting design rationale. The general perception is that designers and architects usually do not fully understand the ...
Antony Tang, Muhammad Ali Babar, Ian Gorton, Jun H...
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
15 years 11 months ago
Coordination analysis: a method for deriving use cases from process dependencies
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
Xiang Michelle Liu, George M. Wyner
GLVLSI
2009
IEEE
172views VLSI» more  GLVLSI 2009»
15 years 10 months ago
Contact merging algorithm for efficient substrate noise analysis in large scale circuits
A methodology is proposed to efficiently estimate the substrate noise generated by large scale aggressor circuits. Small spatial voltage differences within the ground distribution...
Emre Salman, Renatas Jakushokas, Eby G. Friedman, ...
DAGSTUHL
2008
15 years 7 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
Luís C. Lamb