Sciweavers

5145 search results - page 350 / 1029
» Active Information Acquisition
Sort
View
CAISE
2006
Springer
15 years 8 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
HICSS
1999
IEEE
153views Biometrics» more  HICSS 1999»
15 years 11 months ago
Search Patterns in Hypertext Exhibits
As access to hypermedia documents becomes generally available, it becomes increasingly important to understand how casual users search for information. We have studied search patt...
Joan C. Nordbotten, Svein Nordbotten
ICCV
1999
IEEE
16 years 8 months ago
A Statistical Approach to Snakes for Bimodal and Trimodal Imagery
In this paper, we describe a new region-based approach to active contours for segmenting images composed of two or three types of regions characterizable by a given statistic. The...
Anthony J. Yezzi, Andy Tsai, Alan S. Willsky
ISPAN
2005
IEEE
16 years 14 days ago
Dynamic Estimation of Task Level Parallelism with Operating System Support
The amount of Task Level Parallelism (TLP) in runtime workload is useful information to determine the efficient usage of multiprocessors. This paper presents mechanisms to dynami...
Luong Dinh Hung, Shuichi Sakai
SIGCSE
2005
ACM
108views Education» more  SIGCSE 2005»
16 years 13 days ago
Teaching and learning ethics in computer science: walking the walk
The author shares techniques used in a successful "Ethics and Professionalism" class at California State University, San Bernardino. The author describes active learning...
Richard J. Botting