Sciweavers

2736 search results - page 350 / 548
» Implementable allocation rules
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
DBSEC
2007
87views Database» more  DBSEC 2007»
15 years 8 months ago
Towards a Times-Based Usage Control Model
Abstract. Modern information systems require temporal and privilegeconsuming usage of digital objects. To meet these requirements, we present a new access control model–Times-bas...
Baoxian Zhao, Ravi S. Sandhu, Xinwen Zhang, Xiaoli...
EMNLP
2007
15 years 8 months ago
Multilingual Dependency Parsing and Domain Adaptation using DeSR
We describe our experiments using the DeSR parser in the multilingual and domain adaptation tracks of the CoNLL 2007 shared task. DeSR implements an incremental deterministic Shif...
Giuseppe Attardi, Felice dell'Orletta, Maria Simi,...
HIS
2008
15 years 8 months ago
Artificial Data Sets Based on Knowledge Generators: Analysis of Learning Algorithms Efficiency
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
Joaquin Rios-Boutin, Albert Orriols-Puig, Josep Ma...
LREC
2008
80views Education» more  LREC 2008»
15 years 8 months ago
Phone Segmentation Tool with Integrated Pronunciation Lexicon and Czech Phonetically Labelled Reference Database
Phonetic segmentation is the procedure which is used in many applications of speech processing, both as a subpart of automated systems or as the tool for an interactive work. In t...
Petr Pollák, Jan Volín, Radek Skarni...