427 search results - page 38 / 86 » On the Power of Labels in Transition Systems |
114
click to vote
TOPNOC
2008
14 years 11 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
108
click to vote
GLVLSI
1998
IEEE
15 years 4 months ago
1998
IEEE
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We describe improvements to the use of semantic lexicons by a state-of-the-art query interpretation system powering a major search engine. We successfully compute concept label im...
115
click to vote
ICTIR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The PageRank algorithm is used today within web information retrieval to provide a content-neutral ranking metric over web pages. It employs power method iterations to so...
CEC
2003
IEEE
15 years 5 months ago
2003
IEEE
Learning Deterministic Finite Automata (DFA) is a hard task that has been much studied within machine learning and evolutionary computation research. This paper presents a new met...