967 search results - page 76 / 194 » Building a Calculus of Data Structures |
Book
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
ENTCS
2007
13 years 7 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Emergence of the web and online computing applications gave rise to rich large scale social activity data. One of the principal challenges then is to build models and understandin...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
The paper describes a multi-layer video coder based on spatiotemporal scalability and data partitioning. The coder consists of two parts: a low-resolution coder and full-resolutio...