4372 search results - page 79 / 875 » Algorithmic Theories of Everything |
PLPV
2009
ACM
14 years 5 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
CCR
2008
13 years 8 months ago
2008
As the saying goes, "In theory there is no difference between theory and practice. But, in practice, there is." Networking research has a wealth of good papers on both s...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
CSE
2009
IEEE
14 years 1 days ago
2009
IEEE
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
SEMCO
2008
IEEE
14 years 3 months ago
2008
IEEE
Blogs, discussion forums and social networking sites are an excellent source for people’s opinions on a wide range of topics. We examine the application of voting theory to “I...