Sciweavers

4163 search results - page 297 / 833
» Enhancing surgical systems
Sort
View
TII
2008
98views more  TII 2008»
15 years 6 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
AROBOTS
1999
140views more  AROBOTS 1999»
15 years 6 months ago
A Robust Analog VLSI Motion Sensor Based on the Visual System of the Fly
Sensing visual motion gives a creature valuable information about its interactions with the environment. Flies in particular use visual motion information to navigate through turbu...
Reid R. Harrison, Christof Koch
NAR
2007
122views more  NAR 2007»
15 years 6 months ago
The Online Bioinformatics Resources Collection at the University of Pittsburgh Health Sciences Library System - a one-stop gatew
To bridge the gap between the rising information needs of biological and medical researchers and the rapidly growing number of online bioinformatics resources, we have created the...
Yi-Bu Chen, Ansuman Chattopadhyay, Phillip Bergen,...
170
Voted
RAS
2007
150views more  RAS 2007»
15 years 6 months ago
Evolution of fuzzy behaviors for multi-robotic system
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
Prahlad Vadakkepat, Xiao Peng, Boon Kiat Quek, Ton...
SAC
2008
ACM
15 years 6 months ago
Contextualizing normative open multi-agent systems
Open MASs can be extremely dynamic due to heterogeneous agents that migrate among them to obtain resources or services not found locally. In order to prevent malicious actions and...
Carolina Howard Felicíssimo, Caroline Chopi...