1456 search results - page 176 / 292 » An Overview of the SODA System |
150
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
135
click to vote
IJVR
2007
15 years 6 months ago
2007
—One of the main goals of the Virtual Human project was to develop technologies for using Virtual Humans as Human-Machine-Interfaces (HMI) to complex technical devices and system...
159
click to vote
JCC
2007
15 years 6 months ago
2007
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
157
click to vote
TROB
2008
15 years 6 months ago
2008
In the nearly six decades since researchers began to explore methods of creating them, exoskeletons have progressed from the stuff of science fiction to nearly commercialized produ...
139
click to vote
JSW
2007
15 years 6 months ago
2007
—Voice over IP (VoIP) has had a strong effect on global communications by allowing human voice and fax information to travel over existing packet data networks along with traditi...