Sciweavers

9873 search results - page 329 / 1975
» Emergent Semantics Systems
Sort
View
MKWI
2008
136views Business» more  MKWI 2008»
15 years 8 months ago
KASIMIR - Work process embedded task management leveraging the Semantic Desktop
: The effectiveness of semantic applications can be increased significantly if the system does not urge the users to take care of explicit semantic annotation creation. Today, sema...
Olaf Grebner, Ernie Ong, Uwe V. Riss
COLING
1990
15 years 8 months ago
Information Extraction and Semantic Constraints
We consider the problem of extracting specified types of information from natural language text. To properly analyze the text, we wish to apply semantic (selectional) constraints ...
Ralph Grishman, John Sterling
CSFW
2012
IEEE
13 years 9 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
191
Voted
ICFP
2005
ACM
16 years 6 months ago
Types with semantics: soundness proof assistant
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
Olha Shkaravska
SPIESR
2001
174views Database» more  SPIESR 2001»
15 years 8 months ago
Mapping low-level image features to semantic concepts
Humans tend to use high-level semantic concepts when querying and browsing multimedia databases; there is thus, a need for systems that extract these concepts and make available a...
Daniela Stan, Ishwar K. Sethi