5550 search results - page 548 / 1110 » Different Approaches to Proof Systems |
206
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
210
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Increasing interest is being paid to quantitative evaluation based on measurements of dependability attributes and metrics of computer systems and infrastructures. Despite measura...
182
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
user actions at different levels of abstractions. Using the ontology's concepts and relations, we capture the multitude of user interests expressed by a visit to one page. We ...
246
click to vote
AAAI
2007
15 years 9 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
163
click to vote
EMNLP
2008
15 years 9 months ago
2008
Predicting possible code-switching points can help develop more accurate methods for automatically processing mixed-language text, such as multilingual language models for speech ...