Sciweavers

2549 search results - page 279 / 510
» Toward a complexity theory of information systems developmen...
Sort
View
CBMS
2004
IEEE
14 years 3 days ago
Image Segmentation of Uterine Cervix Images for Indexing in PACS
The National Cancer Institute has collected a large database of digitized 35mm slides of the uterine cervix, the idea being to build a system enabling to study the evolution of le...
Shiri Gordon, Gali Zimmerman, Hayit Greenspan
CHI
2004
ACM
14 years 8 months ago
Designing smooth connections between worlds
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
Daniela Gorski Trevisan
LICS
2008
IEEE
14 years 2 months ago
Mechanizing the Metatheory of LF
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
Christian Urban, James Cheney, Stefan Berghofer
FUIN
2008
142views more  FUIN 2008»
13 years 8 months ago
Relational Transformation-based Tagging for Activity Recognition
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
Niels Landwehr, Bernd Gutmann, Ingo Thon, Luc De R...
TIT
2011
127views more  TIT 2011»
13 years 3 months ago
Semiunitary Precoding for Spatially Correlated MIMO Channels
— The focus of this paper is on spatial precoding in correlated multi-antenna channels where the number of datastreams is adapted independent of the number of transmit antennas. ...
Vasanthan Raghavan, Akbar M. Sayeed, Venugopal V. ...