2477 search results - page 347 / 496 » Approximate extended formulations |
133
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Grid computing has great potential to become a standard cyberinfrastructure for life sciences which often require high-performance computing and large data handling wh...
157
Voted
IANDC
2008
15 years 4 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
120
click to vote
COR
2006
15 years 4 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...
103
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
136
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
: Collaborative beamforming (CB) and cooperative transmission (CT) have recently emerged as communication techniques that can make effective use of collaborative/cooperative nodes ...