5550 search results - page 725 / 1110 » Different Approaches to Proof Systems |
223
click to vote
UML
2005
Springer
16 years 15 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
170
click to vote
HICSS
2003
IEEE
16 years 10 days ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
203
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...
205
click to vote
UMUAI
2008
15 years 7 months ago
2008
This paper aims to demonstrate that the principles of adaptation and user modeling, especially social annotation, can be integrated fruitfully with those of the Web 2.0 paradigm a...
189
click to vote
BIOINFORMATICS
2005
15 years 7 months ago
2005
Motivation: direct bearing whose expres Sorlie et al., 2 gene sets is a diseases (Lossos et al., 2004; Miklos and Maleszka, 2004), and the variables that could account questions i...