8699 search results - page 75 / 1740 » Elements of the Theory of Computation |
ANOR
2008
13 years 9 months ago
2008
This paper reviews applications in computer science that decision theorists have addressed for years, discusses the requirements posed by these applications that place great strai...
CSE
2009
IEEE
14 years 4 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...
LICS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— In a real-world, labor market consist of employer and employee, and these individuals form relationship through mutual interactions. This paper mainly focuses on development of...
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...