16606 search results - page 2975 / 3322 » Context Modeling: Task Model and Practice Model |
140
click to vote
DAC
2009
ACM
16 years 29 days ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
164
Voted
ICML
2009
IEEE
16 years 29 days ago
2009
IEEE
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models...
130
click to vote
PAKDD
2009
ACM
16 years 28 days ago
2009
ACM
The lack of standards for Romanization of Thai proper names makes searching activity a challenging task. This is particularly important when searching for people-related documents ...
150
click to vote
DATE
2009
IEEE
16 years 27 days ago
2009
IEEE
As the number of cores continues to grow in both digital signal and general purpose processors, tools which perform automatic scheduling from model-based designs are of increasing...
165
click to vote
EDOC
2009
IEEE
16 years 27 days ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...