4048 search results - page 536 / 810 » Design Science, Engineering Science and Requirements Enginee... |
164
click to vote
AR
2007
15 years 4 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
119
click to vote
CGF
2008
15 years 4 months ago
2008
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
162
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
127
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...