967 search results - page 36 / 194 » Building a Calculus of Data Structures |
DLOG
2007
13 years 10 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
The temporal alignment of nongated slice-sequences acquired at different axial positions in the living embryonic zebrafish heart permits the reconstruction of dynamic, three-dimen...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Abstract. A major challenge in pervasive computing is to learn activity patterns, such as bathing and cleaning from sensor data. Typical sensor deployments generate sparse datasets...
LREC
2008
13 years 9 months ago
2008
Being the client's first interface, call centres worldwide contain a huge amount of information of all kind under the form of conversational speech. If accessible, this infor...
PODS
2004
ACM
14 years 7 months ago
2004
ACM
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema. Given a source instance, there may be many solutions ? ta...