Sciweavers

9931 search results - page 268 / 1987
» Generative Modeling by PRISM
Sort
View
DEXAW
2000
IEEE
96views Database» more  DEXAW 2000»
15 years 9 months ago
Towards a Generic Negotiation Model for Intentional Agents
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
Fernando Lopes, Nuno J. Mamede, Augusto Q. Novais,...
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 8 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
ICASSP
2009
IEEE
15 years 11 months ago
Language model transformation applied to lightly supervised training of acoustic model for congress meetings
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...
Tatsuya Kawahara, Masato Mimura, Yuka Akita
SMA
2009
ACM
157views Solid Modeling» more  SMA 2009»
15 years 11 months ago
Constraint-based model synthesis
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
Paul Merrell, Dinesh Manocha
KDD
2012
ACM
254views Data Mining» more  KDD 2012»
13 years 7 months ago
Playlist prediction via metric embedding
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
Shuo Chen, Josh L. Moore, Douglas Turnbull, Thorst...