2451 search results - page 341 / 491 » Effective View Navigation |
133
Voted
FUIN
2008
15 years 2 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
136
click to vote
IJSR
2010
15 years 2 months ago
2010
Abstract It has been recognized that long-term effects exist in the interaction with robotic technologies. Despite this recognition, we still know little about how the temporal eff...
103
Voted
TVCG
2010
15 years 2 months ago
2010
—We present a method designed to address some limitations of typical route map displays of driving directions. The main goal of our system is to generate a printable version of a...
137
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract. Gaining a better knowledge of one's own network is crucial to effectively manage and secure today's large, diverse campus and enterprise networks. Because of th...
147
Voted
ICDM
2009
IEEE
15 years 1 months ago
2009
IEEE
The recent proliferation of graph data in a wide spectrum of applications has led to an increasing demand for advanced data analysis techniques. In view of this, many graph mining ...