11121 search results - page 2165 / 2225 » Computing with Continuous Change |
132
click to vote
MWCN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract Key issues of wireless ad hoc networks are auto-configuration and flexibility. Due to mobility, wireless networks are subject to frequent splits and merges. In many situ...
120
click to vote
PRICAI
2004
Springer
15 years 6 months ago
2004
Springer
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...
125
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
103
click to vote
CISIS
2010
IEEE
15 years 6 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
133
click to vote
MIR
2010
ACM
15 years 6 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...