Sciweavers

323 search results - page 22 / 65
» Doing it right
Sort
View
INFFUS
2007
88views more  INFFUS 2007»
14 years 11 months ago
A progressive query language and interactive reasoner for information fusion support
Previous approaches in query processing do not consider queries to automatically combine results obtained from different information sources, i.e. they do not support information...
Shi-Kuo Chang, Erland Jungert, Xin Li
68
Voted
ALIFE
2002
14 years 11 months ago
Artificial Life and the Chinese Room Argument
: We use the term 'Strong Artificial Life' to refer to the thesis that a sufficiently sophisticated computer simulation of a life-form is a life-form in its own right. Ca...
David Anderson, B. Jack Copeland
VIS
2004
IEEE
161views Visualization» more  VIS 2004»
16 years 28 days ago
Automatic Fast Detection of Tumor Suspect Areas on CT Scan
Our research deals with a fully automatic and fast visualization of possible tumoral areas on CT Scan images. To achieve this task, we use the bilateral symmetry of the human body...
Benoit M. Macq, Bernard Gosselin, Matei Mancas
CSFW
2009
IEEE
15 years 6 months ago
Updatable Security Views
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
J. Nathan Foster, Benjamin C. Pierce, Steve Zdance...
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 5 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride