4860 search results - page 291 / 972 » SNPs Problems, Complexity, and Algorithms |
97
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Software agents help automate a variety of tasks including those involved in buying and selling products over the internet. The need for handling complex highly configurable produ...
126
click to vote
ECAI
2010
Springer
15 years 28 days ago
2010
Springer
In service-oriented systems, such as grids and clouds, users are able to outsource complex computational tasks by procuring resources on demand from remote service providers. As th...
ENTCS
2007
15 years 21 days ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
95
Voted
CORR
2007
Springer
15 years 21 days ago
2007
Springer
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...
110
click to vote
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...