797 search results - page 111 / 160 » Observing Success in the Pi-Calculus |
102
click to vote
CAV
2012
Springer
13 years 6 days ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
134
click to vote
CVPR
2012
IEEE
13 years 6 days ago
2012
IEEE
The launch of Xbox Kinect has built a very successful computer vision product and made a big impact to the gaming industry; this sheds lights onto a wide variety of potential appl...
106
click to vote
AAAI
2012
13 years 5 days ago
2012
Scientists use two forms of knowledge in the construction of explanatory models: generalized entities and processes that relate them; and constraints that specify acceptable combi...
100
click to vote
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
An important class of problems used widely in both the embedded systems and scientific domains perform memory intensive computations on large data sets. These data sets get to be ...
WSDM
2010
ACM
15 years 7 months ago
2010
ACM
The success of "infinite-inventory" retailers such as Amazon.com and Netflix has been ascribed to a "long tail" phenomenon. To wit, while the majority of their...