Sciweavers

4629 search results - page 444 / 926
» Space Kernel Analysis
Sort
View
IWANN
1995
Springer
15 years 10 months ago
Test Pattern Generation for Analog Circuits Using Neural Networks and Evolutive Algorithms
This paper presents a comparative analysis of neural networks, simulated annealing, and genetic algorithms in the determination of input patterns for testing analog circuits. The ...
José Luis Bernier, Juan J. Merelo Guerv&oac...
197
Voted
IJCAI
2007
15 years 8 months ago
From Sampling to Model Counting
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
SIMVIS
2008
15 years 8 months ago
Near-Wall Flow Visualization in Flattened Surface Neighborhoods
We present a method that flattens a curved surface and its neighborhood to create effective, uncluttered visualizations by applying standard flow visualization techniques in the d...
Christoph Petz, Steffen Prohaska, Leonid Goubergri...
BIRTHDAY
2010
Springer
15 years 8 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ERCIMDL
2010
Springer
165views Education» more  ERCIMDL 2010»
15 years 8 months ago
Metadata Impact on Research Paper Similarity
While collaborative filtering and citation analysis have been well studied for research paper recommender systems, content-based approaches typically restrict themselves to straigh...
Germán Hurtado Martín, Steven Schock...