Sciweavers

382 search results - page 43 / 77
» Reasoning about the Elementary Functions of Complex Analysis
Sort
View
AIME
2009
Springer
15 years 6 months ago
An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
Azizi Ab Aziz, Michel C. A. Klein, Jan Treur
EKAW
2008
Springer
15 years 1 months ago
An Analysis of the Origin of Ontology Mismatches on the Semantic Web
Despite the potential of domain ontologies to provide consensual representations of domain-relevant knowledge, the open, distributed and decentralized nature of the Semantic Web me...
Paul R. Smart, Paula C. Engelbrecht
MICCAI
2000
Springer
15 years 3 months ago
Small Sample Size Learning for Shape Analysis of Anatomical Structures
We present a novel approach to statistical shape analysis of anatomical structures based on small sample size learning techniques. The high complexity of shape models used in medic...
Polina Golland, W. Eric L. Grimson, Martha Elizabe...
POPL
2005
ACM
16 years 3 days ago
Precise interprocedural analysis using random interpretation
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
Sumit Gulwani, George C. Necula
IMA
2005
Springer
127views Cryptology» more  IMA 2005»
15 years 5 months ago
On the Automatic Construction of Indistinguishable Operations
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
Manuel Barbosa, Dan Page