Sciweavers

289 search results - page 27 / 58
» Introducing Variability into Aspect-Oriented Modeling Approa...
Sort
View
ICML
2007
IEEE
16 years 15 days ago
Statistical predicate invention
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...
Stanley Kok, Pedro Domingos
SCAM
2008
IEEE
15 years 6 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
MEDINFO
2007
115views Healthcare» more  MEDINFO 2007»
15 years 1 months ago
Using an Accident Model to Design Safe Electronic Medication Management Systems
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
Farah Magrabi, Geoff McDonnell, Johanna I. Westbro...
ICML
2007
IEEE
16 years 15 days ago
Linear and nonlinear generative probabilistic class models for shape contours
We introduce a robust probabilistic approach to modeling shape contours based on a lowdimensional, nonlinear latent variable model. In contrast to existing techniques that use obj...
Graham McNeill, Sethu Vijayakumar
MLMI
2007
Springer
15 years 5 months ago
Using Prosodic Features in Language Models for Meetings
Abstract. Prosody has been actively studied as an important knowledge source for speech recognition and understanding. In this paper, we are concerned with the question of exploiti...
Songfang Huang, Steve Renals