2694 search results - page 158 / 539 » Frege's New Science |
173
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...
194
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
165
click to vote
BIBE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Following the technological advances that have enabled genome-wide analysis in most model organisms over the last ten years, there has been unprecedented growth in genome and po...
156
click to vote
ACSC
2007
IEEE
16 years 27 days ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
168
click to vote
GI
2007
Springer
16 years 21 days ago
2007
Springer
: With the recent developments in technology, new and diverse devices are being introduced into the pervasive world. This has raised new challenges for the discovery of devices and...