396 search results - page 78 / 80 » Combining decision procedures for the reals |
115
click to vote
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
The majority of current Network on Chip (NoC) architectures employ mesh topology and use simple static routing, to reduce power and area. However, regular mesh topology is unreali...
113
click to vote
NOSSDAV
2010
Springer
15 years 2 months ago
2010
Springer
Real-time Transport Protocol (RTP) is a widely adopted standard for transmission of multimedia traffic in Internet telephony (commonly known as VoIP). Therefore, it is a hot poten...
SSIAI
2000
IEEE
15 years 1 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...
CCGRID
2009
IEEE
15 years 1 months ago
2009
IEEE
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
95
Voted
CSDA
2008
14 years 9 months ago
2008
Tree models are valuable tools for predictive modeling and data mining. Traditional tree-growing methodologies such as CART are known to suffer from problems including greediness,...