4622 search results - page 144 / 925 » Foundations of Information Theory |
116
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
156
click to vote
AAAI
2008
15 years 9 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
266
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
153
click to vote
CIE
2005
Springer
16 years 3 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
164
click to vote
ICIS
2003
15 years 8 months ago
2003
While there has been considerable research on the effect of telecommuting on worker’s productivity and quality of work life, there is considerably less work on the managerial pr...