Sciweavers

1588 search results - page 137 / 318
» Modular action language
Sort
View
143
Voted
CA
2002
IEEE
15 years 8 months ago
Representing and Parameterizing Agent Behaviors
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
Norman I. Badler, Jan M. Allbeck, Liwei Zhao, Meer...
149
Voted
VLDB
1994
ACM
128views Database» more  VLDB 1994»
15 years 7 months ago
An Algebraic Approach to Rule Analysis in Expert Database Systems
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
Elena Baralis, Jennifer Widom
130
Voted
FIW
2007
133views Communications» more  FIW 2007»
15 years 5 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
130
Voted
IFIP
2001
Springer
15 years 8 months ago
Defining Away the Digital Divide: A Content Analysis of Institutional Influences on Popular Representations of Technology
It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
Lynette Kvasny, Duane P. Truex
117
Voted
DNA
2007
Springer
123views Bioinformatics» more  DNA 2007»
15 years 9 months ago
Equivalence in Template-Guided Recombination
We consider theoretical properties of the template-guided recombination operation. In particular, we consider the decidability of whether two sets of templates are equivalent, that...
Michael Domaratzki