Sciweavers

1219 search results - page 183 / 244
» Towards automatization of domain modeling
Sort
View
ICSE
2004
IEEE-ACM
16 years 6 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
ECAI
2004
Springer
15 years 11 months ago
Learning Complex and Sparse Events in Long Sequences
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
Marco Botta, Ugo Galassi, Attilio Giordana
WSC
1998
15 years 7 months ago
Making Simulation more Accessible in Manufacturing Systems through a 'four phase' Approach
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...
Hamad I. Odhabi, Ray J. Paul, Robert D. Macredie
CSMR
2007
IEEE
16 years 14 days ago
Consistently Incorporating Changes to Evolve Transition-based Systems
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
Mahadevan Subramaniam, Harvey P. Siy
LREC
2008
166views Education» more  LREC 2008»
15 years 7 months ago
A lexicon for biology and bioinformatics: the BOOTStrep experience
This paper describes the design, implementation and population of a lexical resource for biology and bioinformatics (the BioLexicon) developed within an ongoing European project. ...
Valeria Quochi, Monica Monachini, Riccardo Del Gra...