1915 search results - page 121 / 383 » A language for functional interpretation of model based simu... |
151
click to vote
MOBIHOC
2008
ACM
16 years 3 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...
136
click to vote
ICTAC
2004
Springer
15 years 9 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...
156
click to vote
CD
2005
Springer
15 years 9 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...
150
click to vote
AAAI
2007
15 years 6 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...
143
click to vote
JAMDS
2002
15 years 3 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...