6608 search results - page 1002 / 1322 » On the Completeness of Model Checking |
162
click to vote
KR
2004
Springer
16 years 3 days ago
2004
Springer
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...
185
Voted
ROBOCUP
2004
Springer
16 years 2 days ago
2004
Springer
We present a complete system for obstacle avoidance for a mobile robot. It was used in the RoboCup 2003 obstacle avoidance challenge in the Sony Four Legged League. The system enab...
172
click to vote
CGO
2003
IEEE
16 years 1 days ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
153
click to vote
SRDS
2003
IEEE
16 years 10 hour ago
2003
IEEE
Traditional security systems are not easily scalable and can become single points of failure or performance bottlenecks when used on a large-scale distributed system such as the I...
238
click to vote
HUMAN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...