21430 search results - page 3909 / 4286 » Abstract Effective Models |
157
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
158
click to vote
ANNPR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
183
click to vote
ARC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Financial applications are one of many fields where a multivariate Gaussian random number generator plays a key role in performing computationally extensive simulations. ...
126
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
156
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...