Sciweavers

1011 search results - page 104 / 203
» Numerical Constraints for XML
Sort
View
EOR
2002
66views more  EOR 2002»
15 years 6 months ago
Dynamic multi-objective heating optimization
We develop a multicriteria approach to the problem of space heating under a time varying price of electricity. In our dynamic goal programming model the goals are ideal temperatur...
Raimo P. Hämäläinen, Juha Mänt...
JVCA
2010
105views more  JVCA 2010»
15 years 4 months ago
Conditional stochastic simulation for character animation
In a context of interactive applications, adapting motion capture data to new situations or producing variants of them are known as non trivial tasks. We propose an original metho...
N. Courty, Anne Cuzol
WWW
2004
ACM
16 years 7 months ago
Practical semantic analysis of web sites and documents
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
Thierry Despeyroux
CONCUR
2004
Springer
15 years 12 months ago
Characterizing EF and EX Tree Logics
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
Mikolaj Bojanczyk, Igor Walukiewicz
BMCBI
2006
114views more  BMCBI 2006»
15 years 6 months ago
PROMPT: a protein mapping and comparison tool
Background: Comparison of large protein datasets has become a standard task in bioinformatics. Typically researchers wish to know whether one group of proteins is significantly en...
Thorsten Schmidt, Dmitrij Frishman