Sciweavers

1113 search results - page 127 / 223
» Automated Approaches for Classifying Structures
Sort
View
167
Voted
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 7 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
146
Voted
AIM
2005
15 years 3 months ago
Semantic Integration in Text: From Ambiguous Names to Identifiable Entities
Intelligent access to information requires semantic integration of structured databases with unstructured textual resources. While the semantic integration problem has been widely...
Xin Li, Paul Morie, Dan Roth
188
Voted
DATE
2006
IEEE
142views Hardware» more  DATE 2006»
15 years 9 months ago
Droplet routing in the synthesis of digital microfluidic biochips
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
Fei Su, William L. Hwang, Krishnendu Chakrabarty
116
Voted
JCDL
2004
ACM
102views Education» more  JCDL 2004»
15 years 9 months ago
Multi-modal classification in digital news libraries
This paper describes a comprehensive approach to construct robust multi-modal video classification on a specific digital source, broadcast news. Broadcast news has a very stable s...
Ming-yu Chen, Alexander G. Hauptmann
141
Voted
PERCOM
2003
ACM
15 years 8 months ago
Object Labelling from Human Action Recognition
This paper presents a method for finding and classifying objects within real-world scenes by using the activity of humans interacting with these objects to infer the object’s i...
Patrick Peursum, Svetha Venkatesh, Geoff A. W. Wes...