5015 search results - page 320 / 1003 » Model Checking a Path |
188
click to vote
INCDM
2010
Springer
15 years 5 months ago
2010
Springer
Many real world systems can be modeled as networks or graphs. Clustering algorithms that help us to organize and understand these networks are usually referred to as, graph based c...
201
click to vote
HISB
2011
14 years 6 months ago
2011
—Spinal cord analysis is an important problem in the study of various neurological diseases. Current segmentation and analysis methods in clinical use are slow and laborintensive...
206
click to vote
WSE
2005
IEEE
16 years 4 days ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
182
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—It is generally admitted that Inter-domain peering links represent nowadays the main bottleneck of the Internet, particularly because of lack of coordination between providers, ...
269
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
— In this paper, navigation and control of autonomous mobile unicycle robots in a complex and partially known obstacleridden environment is considered. The unicycle dynamic model...