2989 search results - page 392 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
114
Voted
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
133
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
—Dual descent methods are commonly used to solve network optimization problems because their implementation can be distributed through the network. However, their convergence rat...
125
click to vote
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
158
click to vote
SODA
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we prove lower bounds on randomized multiparty communication complexity, both in the blackboard model (where each message is written on a blackboard for all players ...
120
Voted
AAAI
2012
13 years 5 months ago
2012
Widespread accounts of the harmful effects of invasive species have stimulated both practical and theoretical studies on how the spread of these destructive agents can be containe...