Sciweavers

5639 search results - page 546 / 1128
» Timed Abstract Non-interference
Sort
View
153
Voted
GECCO
2004
Springer
138views Optimization» more  GECCO 2004»
15 years 11 months ago
Comparing Genetic Programming and Evolution Strategies on Inferring Gene Regulatory Networks
Abstract. In recent years several strategies for inferring gene regulatory networks from observed time series data of gene expression have been suggested based on Evolutionary Algo...
Felix Streichert, Hannes Planatscher, Christian Sp...
157
Voted
HUC
2004
Springer
15 years 11 months ago
Personalized Peripheral Information Awareness Through Information Art
Abstract. This article describes development of the concept of Information Art, a type of ambient or peripheral display involving user-specified electronic paintings in which resi...
John T. Stasko, Todd Miller, Zachary Pousman, Chri...
IBERAMIA
2004
Springer
15 years 11 months ago
Dynamic Case Base Maintenance for a Case-Based Reasoning System
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...
Maria Salamó, Elisabet Golobardes
ICALP
2004
Springer
15 years 11 months ago
Easily Refutable Subformulas of Large Random 3CNF Formulas
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
Uriel Feige, Eran Ofek
ICDCIT
2004
Springer
15 years 11 months ago
Querying XML Documents from a Relational Database in the Presence of DTDs
Abstract. Many researchers have investigated the problem of storing and querying XML documents using an RDBMS. Two situations are considered in this approach based on whether or no...
Manjeet Rege, Izabell Caraconcea, Shiyong Lu, Fars...