Sciweavers

2602 search results - page 319 / 521
» Semantic Analysis of 'to'
Sort
View
ICDCIT
2005
Springer
16 years 3 days ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
ISMIR
2005
Springer
171views Music» more  ISMIR 2005»
16 years 3 days ago
Detection of Key Change in Classical Piano Music
Tonality is an important aspect of musical structure. Detecting key of music is one of the major tasks in tonal analysis and will benefit semantic segmentation of music for indexi...
Wei Chai, Barry Vercoe
DOCENG
2004
ACM
16 years 22 hour ago
The lifecycle of a digital historical document: structure and content
This paper describes the lifecycle of a digital historical document, from template-based structure definition through to content extraction from the scanned pages and its final re...
Apostolos Antonacopoulos, Dimosthenis Karatzas, He...
ACSAC
1999
IEEE
15 years 11 months ago
Security Policy Coordination for Heterogeneous Information Systems
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
John Hale, Pablo Galiasso, Mauricio Papa, Sujeet S...
LICS
1999
IEEE
15 years 11 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke