4480 search results - page 101 / 896 » Prototyping Completion with Constraints Using Computational ... |
137
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Microarray analysis allows the simultaneous measurement of thousands to millions of genes or sequences across tens to thousands of different samples. The analysis of t...
134
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
135
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
142
Voted
ICCHP
1994
Springer
15 years 7 months ago
1994
Springer
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...
147
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
We are interested in this paper to study scheduling problems in systems where many users compete to perform their respective jobs on shared parallel resources. Each user has speci...