Sciweavers

754 search results - page 47 / 151
» Automated Model Selection Using Context-Dependent Behaviors
Sort
View
150
Voted
ATAL
2005
Springer
15 years 9 months ago
Using the UML 2.0 activity diagram to model agent plans and actions
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
AAAI
2010
15 years 5 months ago
Envy Quotes and the Iterated Core-Selecting Combinatorial Auction
Using a model of agent behavior based around envy-reducing strategies, we describe an iterated combinatorial auction in which the allocation and prices converge to a solution in t...
Abraham Othman, Tuomas Sandholm
SPLC
2010
15 years 2 months ago
Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
Ebrahim Bagheri, Mohsen Asadi, Dragan Gasevic, Sam...
129
Voted
LPAR
2005
Springer
15 years 9 months ago
Pushdown Module Checking
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
Laura Bozzelli, Aniello Murano, Adriano Peron
SIGMOD
2002
ACM
246views Database» more  SIGMOD 2002»
16 years 4 months ago
Hierarchical subspace sampling: a unified framework for high dimensional data reduction, selectivity estimation and nearest neig
With the increased abilities for automated data collection made possible by modern technology, the typical sizes of data collections have continued to grow in recent years. In suc...
Charu C. Aggarwal