14084 search results - page 209 / 2817 » A Theory for Game Theories |
162
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
162
click to vote
ICMCS
2007
IEEE
16 years 27 days ago
2007
IEEE
Automatic web page segmentation is the basis to adaptive web browsing on mobile devices. It breaks a large page into smaller blocks, in which contents with coherent semantics are ...
177
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both continu...
141
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
169
click to vote
VMCAI
2007
Springer
16 years 21 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...