391 search results - page 62 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
ICNP
2007
IEEE
14 years 2 months ago
2007
IEEE
— P2P streaming tries to achieve scalability (like P2P file distribution) and at the same time meet real-time playback requirements. It is a challenging problem still not well u...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— In distributed wireless access networks, the short-term unfairness of IEEE 802.11 Distributed Coordination Function (DCF) has been revealed by many works. In this paper, a modi...
BMCBI
2005
13 years 7 months ago
2005
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...