Sciweavers

3522 search results - page 102 / 705
» Modeling and Aspect Weaving
Sort
View
IJCAI
1989
13 years 10 months ago
An Adaptive Model of Decision-Making in Planning
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...
Gregg Collins, Lawrence Birnbaum, Bruce Krulwich
AMAI
2002
Springer
13 years 9 months ago
Modeling Moving Objects over Multiple Granularities
This paper introduces a framework for modeling the movement of objects or individuals over multiple granularities. Granularity refers to selecting the appropriate level of detail ...
Kathleen Hornsby, Max J. Egenhofer
SBP
2010
Springer
13 years 7 months ago
Mitigating Issues Related to the Modeling of Insurgent Recruitment
Modeling the specific motivations and influences related to an individual‘s decision to become involved in insurgent warfare presents its own collection of unique challenges. The...
Erica Briscoe, Ethan Trewhitt, Lora Weiss, Elizabe...
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
14 years 2 months ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...
ECOOP
2008
Springer
13 years 11 months ago
A Model for Java with Wildcards
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
Nicholas R. Cameron, Sophia Drossopoulou, Erik Ern...