Sciweavers

2230 search results - page 41 / 446
» Reformulating Constraint Models Using Input Data
Sort
View
ICMT
2009
Springer
15 years 4 months ago
Automatic Model Generation Strategies for Model Transformation Testing
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
ICASSP
2011
IEEE
14 years 1 months ago
Multiple-Measurement Vector model and its application to Through-the-Wall Radar Imaging
This paper addresses the problem of Through-the-Wall Radar Imaging (TWRI) using the Multiple-Measurement Vector (MMV) compressive sensing model. TWR image formation is reformulate...
Jie Yang, Abdesselam Bouzerdoum, Fok Hing Chi Tivi...
ESWS
2010
Springer
14 years 8 months ago
Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
Manolis Koubarakis, Kostis Kyzirakos
BIOSTEC
2008
148views Healthcare» more  BIOSTEC 2008»
14 years 11 months ago
Representing and Reasoning with Temporal Constraints in Clinical Trials Using Semantic Technologies
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...
Ravi D. Shankar, Susana B. Martins, Martin J. O'Co...
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 2 months ago
A bio-plausible design for visual attitude stabilization
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
Andrea Censi, Shuo Han, Sawyer B. Fuller, Richard ...