9405 search results - page 1525 / 1881 » Computing a Model of Set Theory |
172
click to vote
ICSOC
2007
Springer
16 years 25 days ago
2007
Springer
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
173
Voted
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
187
Voted
PPAM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The paper describes an application of Parallel Simulated Annealing (PSA) for solving one of the most studied NP-hard optimization problems: Graph Coloring Problem (GCP). ...
185
click to vote
CRV
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
177
click to vote
TABLETOP
2006
IEEE
16 years 21 days ago
2006
IEEE
The design of multi-touch multi-user tabletop user interfaces is still in its infancy and is not yet well understood. To date, published experimental results have primarily focuse...