2218 search results - page 261 / 444 » Testing Expressibility Is Hard |
MMM
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Cooking is a human activity with sophisticated process. Underlying the multitude of culinary recipes, there exist a set of fundamental and general cooking techniques, suc...
APWEB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The rapid growth of on-line information including multimedia contents during the last decade caused a major problem for Web users - there is too much information availabl...
CSB
2004
IEEE
14 years 1 months ago
2004
IEEE
Phylogenetic trees are commonly reconstructed based on hard optimization problems such as maximum parsimony (MP) and maximum likelihood (ML). Conventional MP heuristics for produc...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...