6315 search results - page 910 / 1263 » Approximating Solution Structure |
162
Voted
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
153
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— Prior research in biology and mechanics has shown the importance of hierarchy to the performance of dry adhesive systems on rough surfaces. The gecko utilizes several levels of...
143
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
134
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Monitoring the traffic in high-speed networks is a data intensive problem. Uniform packet sampling is the most popular technique for reducing the amount of data the network mo...
155
click to vote
WIDM
2006
ACM
15 years 11 months ago
2006
ACM
The huge amount of data available from Internet information sources has focused much attention on the sharing of distributed information through Peer Data Management Systems (PDMS...