3742 search results - page 299 / 749 » On the Use of Formal Techniques for Validation |
162
click to vote
COMCOM
2008
15 years 6 months ago
2008
The issue of breaking cycles in communication networks is an important topic for several reasons. For instance, it is required when transparent bridges are filling the forwarding ...
232
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
A key element of the social networks on the internet such as Facebook and Flickr is that they encourage users to create connections between themselves, other users and objects. On...
190
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. This paper addresses an approach toward tomographic reconstruction from rotational angiography data as it is generated by Carms in cardiac imaging. Since the rotational a...
166
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The automated design of SoCs from pre-selected IPs that may require different clocks is challenging because of the following issues. Firstly, protocol mismatches between IPs need ...
175
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Opinion mining has become recently a major research topic. A wide range of techniques have been proposed to enable opinion-oriented information seeking systems. However, little is...