Sciweavers

9507 search results - page 424 / 1902
» Time-based language models
Sort
View
VLDB
1991
ACM
190views Database» more  VLDB 1991»
15 years 10 months ago
Algebraic Properties of Bag Data Types
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
Joseph Albert
ENTCS
2010
113views more  ENTCS 2010»
15 years 6 months ago
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
Dan R. Ghica, Alex Smith
FDL
2006
IEEE
16 years 27 days ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
MODELS
2007
Springer
16 years 29 days ago
Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
Michael Hafner, Mukhtiar Memon, Muhammad Alam
IJCNLP
2005
Springer
16 years 10 days ago
Adapting a Probabilistic Disambiguation Model of an HPSG Parser to a New Domain
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...
Tadayoshi Hara, Yusuke Miyao, Jun-ichi Tsujii