Sciweavers

1416 search results - page 77 / 284
» An Exact Interpretation of While
Sort
View
KI
2008
Springer
13 years 10 months ago
The Enhancement of Low-Level Classifications for Ambient Assisted Living
Abstract. Assisted living means providing the assisted with custom services, specific to their needs and capabilities. Computer monitoring can supply some of these services, be it ...
Rachel E. Goshorn, Deborah Goshorn, Mathias Kö...
TITB
2008
152views more  TITB 2008»
13 years 10 months ago
Region of Interest and Multiresolution for Volume Rendering
Medical image interpretation is facing an important challenge resulting from the continuously increasing amount of imaging data. Innovations in medical image visualization are nece...
Sébastien Piccand, Rita Noumeir, Eric Paque...
JSYML
2002
170views more  JSYML 2002»
13 years 9 months ago
Representability in Second-Order Propositional Poly-Modal Logic
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
Gian Aldo Antonelli, Richmond H. Thomason
PKDD
2010
Springer
166views Data Mining» more  PKDD 2010»
13 years 8 months ago
A Cluster-Level Semi-supervision Model for Interactive Clustering
Abstract. Semi-supervised clustering models, that incorporate user provided constraints to yield meaningful clusters, have recently become a popular area of research. In this paper...
Avinava Dubey, Indrajit Bhattacharya, Shantanu God...
USS
2010
13 years 8 months ago
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
Sarah Meiklejohn, C. Christopher Erway, Alptekin K...