7921 search results - page 868 / 1585 » Process Modeling in Web Applications |
118
click to vote
RSS
2007
15 years 6 months ago
2007
— Three-dimensional digital terrain models are of fundamental importance in many areas such as the geo-sciences and outdoor robotics. Accurate modeling requires the ability to de...
127
click to vote
IJCAI
1989
15 years 6 months ago
1989
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...
157
Voted
AES
2007
Springer
15 years 5 months ago
2007
Springer
Pesticides used in crop production and herbicides used for weed control are the major source of nonpoint-source pollutants to groundwater. The movement and degradation of pesticid...
136
click to vote
PE
2000
Springer
15 years 4 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
183
click to vote
NFM
2011
15 years 8 hour ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...