Sciweavers

4047 search results - page 51 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
JSW
2007
120views more  JSW 2007»
14 years 11 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees
ICPR
2010
IEEE
15 years 3 months ago
Modeling Facial Skin Motion Properties in Video and Its Application to Matching Faces across Expressions
—In this paper, we propose a method to model the material constants (Young’s modulus) of the skin in subregions of the face from the motion observed in multiple facial expressi...
Vasant Manohar, Matthew Shreve, Dmitry Goldgof, Su...
EH
1999
IEEE
140views Hardware» more  EH 1999»
15 years 4 months ago
On the Filtering Properties of Evolved Gate Arrays
A small gate array is evolved extrinsically to carry out a low pass filtering task defined over fifteen different frequencies. The circuit is evolved by assessing its response to ...
Julian F. Miller
EKAW
2006
Springer
15 years 1 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
ENTCS
2008
79views more  ENTCS 2008»
14 years 12 months ago
j-POST: a Java Toolchain for Property-Oriented Software Testing
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
Yliès Falcone, Laurent Mounier, Jean-Claude...