984 search results - page 47 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
146
Voted
IICAI
2007
15 years 5 months ago
2007
In recent years statistical word alignment models have been widely used for various Natural Language Processing (NLP) problems. In this paper we describe a platform independent and...
125
click to vote
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
121
Voted
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
125
Voted
PACS
2000
Springer
15 years 7 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
115
Voted
CSREAEEE
2008
15 years 5 months ago
2008
- Active development in the field of e-Learning has led to multiple organizations and specifications that try to provide some interoperability to systems, tools and learning conten...