9507 search results - page 470 / 1902 » Time-based language models |
182
click to vote
CIMCA
2005
IEEE
16 years 16 days ago
2005
IEEE
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
162
click to vote
LPAR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
160
click to vote
UML
2005
Springer
16 years 11 days ago
2005
Springer
The MoDELS Doctoral Symposium brought together nine doctoral students and five mentors to spend a day discussing student research presentations. A truly international representatio...
169
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
182
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...