1915 search results - page 121 / 383 » A language for functional interpretation of model based simu... |
189
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...
167
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
191
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
186
click to vote
AAAI
2007
15 years 8 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
181
click to vote
JAMDS
2002
15 years 6 months ago
2002
Abstract. A resource selection probability function is a function that gives the probability that a resource unit (e.g., a plot of land) that is described by a set of habitat varia...