Sciweavers

744 search results - page 132 / 149
» Coordination on Lie groups
Sort
View
ERCIMDL
2009
Springer
177views Education» more  ERCIMDL 2009»
14 years 21 days ago
Curated Databases
Curated databases are databases that are populated and updated with a great deal of human effort. Most reference works that one traditionally found on the reference shelves of li...
Peter Buneman
HYBRID
1998
Springer
14 years 9 days ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
CVPR
1996
IEEE
14 years 7 days ago
Extracting Salient Curves from Images: An Analysis of the Saliency Network
The Saliency Network proposed by Shashua and Ullman (1988) is a well-known approach to the problem of extracting salient curves from images while performing gap completion. This pa...
T. D. Alter, Ronen Basri
NIPS
2008
13 years 9 months ago
Psychiatry: Insights into depression through normative decision-making models
Decision making lies at the very heart of many psychiatric diseases. It is also a central theoretical concern in a wide variety of fields and has undergone detailed, in-depth, ana...
Quentin J. M. Huys, Joshua T. Vogelstein, Peter Da...
BIOCOMP
2006
13 years 9 months ago
The Multi-Node Topological Overlap Measure For Gene Neighborhood Analysis
Defining the neighborhood of an initial set of nodes is an important task in network analysis. For example, we show that the neighborhood of an initial set of brain cancer related ...
Ai Li, Steve Horvath