5647 search results - page 731 / 1130 » A word from the editor |
188
click to vote
TAMC
2007
Springer
16 years 28 days ago
2007
Springer
In previous work we have introduced an average-case measure for the time complexity of Boolean circuits – that is the delay between feeding the input bits into a circuit and the ...
170
click to vote
VMCAI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
184
click to vote
GFKL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This study focuses on the contribution of sentence length for a quantitative text typology. Therefore, 333 Slovenian texts are analyzed with regard to their sentence leng...
182
click to vote
TCGOV
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We describe a web-based system to support groups in elaborating participatory budgets. Rather than using physical meetings with voting mechanisms, we promote virtual meet...
224
click to vote
WORDS
2003
IEEE
16 years 2 days ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...