3575 search results - page 209 / 715 » Presentations of computably enumerable reals |
190
click to vote
AB
2008
Springer
16 years 25 days ago
2008
Springer
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...
136
click to vote
ICRA
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— We describe a novel intelligent execution monitoring approach for mobile robots acting in indoor environments such as offices and houses. Traditionally, monitoring exe...
145
click to vote
ICDCSW
2006
IEEE
16 years 16 days ago
2006
IEEE
As research in context recognition moves towards more maturity and real life applications, appropriate and reliable performance metrics gain importance. This paper focuses on the ...
173
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
In building a real-life mobile ad-hoc network (MANET), network emulation has been appraised as an efficient approach for testing the real implementations of routing algorithms and...
191
click to vote
RTCSA
2006
IEEE
16 years 15 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...