Sciweavers

2048 search results - page 328 / 410
» Intelligent search techniques for large software systems
Sort
View
ER
2010
Springer
121views Database» more  ER 2010»
15 years 5 months ago
Reasoning with Optional and Preferred Requirements
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
Neil A. Ernst, John Mylopoulos, Alexander Borgida,...
IPMI
2009
Springer
16 years 7 months ago
Marginal Space Learning for Efficient Detection of 2D/3D Anatomical Structures in Medical Images
Recently, marginal space learning (MSL) was proposed as a generic approach for automatic detection of 3D anatomical structures in many medical imaging modalities [1]. To accurately...
Yefeng Zheng, Bogdan Georgescu, Dorin Comaniciu
CIKM
2005
Springer
15 years 12 months ago
Automatic construction of multifaceted browsing interfaces
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...
Wisam Dakka, Panagiotis G. Ipeirotis, Kenneth R. W...
MM
2005
ACM
141views Multimedia» more  MM 2005»
15 years 12 months ago
SEVA: sensor-enhanced video annotation
In this paper, we study how a sensor-rich world can be exploited by digital recording devices such as cameras and camcorders to improve a user’s ability to search through a larg...
Xiaotao Liu, Mark D. Corner, Prashant J. Shenoy
CCS
2011
ACM
14 years 6 months ago
Information-flow types for homomorphic encryptions
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
Cédric Fournet, Jérémy Planul...