Sciweavers

6456 search results - page 309 / 1292
» Constraint Solving on Terms
Sort
View
MMM
2006
Springer
130views Multimedia» more  MMM 2006»
16 years 20 days ago
Detailed audiovisual profile: enabling interoperability between MPEG-7 based systems
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...
Werner Bailer, Peter Schallauer
ADG
2004
Springer
108views Mathematics» more  ADG 2004»
16 years 2 days ago
Planar Generalized Stewart Platforms and Their Direct Kinematics
Abstract. In this paper, we introduce the concept of planar generalized Stewart platform (GSP) consisting of two rigid bodies connected with three constraints between three pairs o...
Gui-Fang Zhang, Xiao-Shan Gao
ICCBR
2003
Springer
15 years 12 months ago
Soft Interchangeability for Case Adaptation
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
Nicoleta Neagu, Boi Faltings
CP
2001
Springer
15 years 11 months ago
Optimal Pruning in Parametric Differential Equations
Initial value problems for parametric ordinary differential equations (ODEs) arise in many areas of science and engineering. Since some of the data is uncertain, traditional numer...
Micha Janssen, Pascal Van Hentenryck, Yves Deville
DAC
2000
ACM
15 years 11 months ago
Watermarking while preserving the critical path
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
Seapahn Meguerdichian, Miodrag Potkonjak