1077 search results - page 92 / 216 » Management of Evolving Specifications using Category Theory |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
IUI
2006
ACM
14 years 3 months ago
2006
ACM
Human geospatial activities often involves the use of geographic information in mobile environment where the context of technology use is dynamic, complex, and unstable, creating ...
MOBIDE
2010
ACM
13 years 9 months ago
2010
ACM
Complex event detection over data streams has become ubiquitous through the widespread use of sensors, wireless connectivity and the wide variety of end-user mobile devices. Typic...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
Many ranking models have been proposed in information retrieval, and recently machine learning techniques have also been applied to ranking model construction. Most of the existin...