534 search results - page 73 / 107 » What is the difference between two maps |
174
Voted
IANDC
2011
15 years 6 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
196
Voted
VCBM
2010
14 years 12 months ago
2010
Resting state functional magnetic resonance imaging (rs-fMRI) is an important modality in the study of the functional architecture of the human brain. The correlation between the ...
180
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
118
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Recent progress in Distributed Constraint Optimization Problems (DCOP) has led to a range of algorithms now available which differ in their amount of problem centralization. Probl...
153
click to vote
SIGCOMM
2000
ACM
15 years 9 months ago
2000
ACM
As the number of hosts attached to a network increases beyond what can be connected by a single local area network (LAN), forwarding packets between hosts on different LANs become...