3379 search results - page 298 / 676 » Powers of Two |
200
click to vote
ITRE
2005
IEEE
16 years 8 days ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...
186
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
158
click to vote
SMI
2005
IEEE
16 years 8 days ago
2005
IEEE
Feature sensitive mesh segmentation is important for many computer graphics and geometric modeling applications. In this paper, we develop a mesh segmentation method which is capa...
199
click to vote
COCO
2005
Springer
16 years 7 days ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
170
click to vote
CONCUR
2005
Springer
16 years 7 days ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...