Sciweavers

4914 search results - page 635 / 983
» Arbitration of a help system
Sort
View
VISUALIZATION
2002
IEEE
15 years 11 months ago
GeneVis: Visualization Tools for Genetic Regulatory Network Dynamics
GeneVis provides a visual environment for exploring the dynamics of genetic regulatory networks. At present time, genetic regulation is the focus of intensive research worldwide, ...
Charles A. H. Baker, M. Sheelagh T. Carpendale, Pr...
VL
2002
IEEE
107views Visual Languages» more  VL 2002»
15 years 11 months ago
Reasoning about Many-to-Many Requirement Relationships in Spreadsheets
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...
Laura Beckwith, Margaret M. Burnett, Curtis R. Coo...
SACMAT
2010
ACM
15 years 11 months ago
A model of triangulating environments for policy authoring
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
Kathi Fisler, Shriram Krishnamurthi
KR
2010
Springer
15 years 11 months ago
Diagnosis as Planning Revisited
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 11 months ago
Synchronization with partial state feedback on SO(n)
Abstract— In this paper we consider the problem of constructing a distributed feedback law to achieve synchronization for a group of k agents whose states evolve on SO(n) and whi...
Christian Lageman, Alain Sarlette, Rodolphe Sepulc...