12981 search results - page 2351 / 2597 » Model Checking (Abstract) |
174
click to vote
ARC
2008
Springer
15 years 6 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. ...
121
click to vote
ATAL
2008
Springer
15 years 6 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...
146
click to vote
ATVA
2008
Springer
15 years 6 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...
162
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...
140
click to vote
BIOID
2008
15 years 6 months ago
2008
Abstract. This paper proposes a novel method for speaker identification based on both speech utterances and their transcribed text. The transcribed text of each speaker's utte...