3765 search results - page 621 / 753 » Formal Methods for Systems Engineering Behavior Models |
171
click to vote
IDA
2002
Springer
15 years 6 months ago
2002
Springer
Most classification methods are based on the assumption that the data conforms to a stationary distribution. However, the real-world data is usually collected over certain periods...
168
click to vote
WIKIS
2006
ACM
16 years 13 days ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
183
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
163
click to vote
JVCA
2002
15 years 6 months ago
2002
In this paper, we describe a method for implementing the behaviour of artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype...
177
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...