Sciweavers

3828 search results - page 472 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
TASLP
2010
97views more  TASLP 2010»
15 years 1 months ago
Hierarchical Bayesian Language Models for Conversational Speech Recognition
Traditional n-gram language models are widely used in state-of-the-art large vocabulary speech recognition systems. This simple model suffers from some limitations, such as overfi...
Songfang Huang, Steve Renals
185
Voted
RBAC
1997
135views more  RBAC 1997»
15 years 8 months ago
Reconciling role based management and role based access control
Role Based Access Control is only a subset of the security management and distributed systems management. Yet, the characteristics and use of the role objects in RBAC or Role Base...
Emil Lupu, Morris Sloman
205
Voted
IAJIT
2010
211views more  IAJIT 2010»
15 years 5 months ago
3D Model Retrieval Based on 3D Discrete Cosine Transform
: The content-based retrieval systems for 3D models on the Web become necessary since digital databases of 3D objects are growing. In this paper, we propose a new method to describ...
Elmustapha Ait Lmaati, Ahmed El Oirrak, Mohammed N...
168
Voted
SEFM
2005
IEEE
16 years 13 days ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
SIGMOD
2007
ACM
196views Database» more  SIGMOD 2007»
16 years 7 months ago
GPUQP: query co-processing using graphics processors
We present GPUQP, a relational query engine that employs both CPUs and GPUs (Graphics Processing Units) for in-memory query co-processing. GPUs are commodity processors traditiona...
Rui Fang, Bingsheng He, Mian Lu, Ke Yang, Naga K. ...