8780 search results - page 1512 / 1756 » On the Feasibility of Consistent Computations |
196
click to vote
FUIN
2010
15 years 3 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
165
click to vote
IOR
2010
15 years 3 months ago
2010
Reliable risk measurement is a key problem for financial institutions and regulatory authorities. The current industry standard Value-at-Risk has several deficiencies. Improved ri...
192
click to vote
CAISE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
197
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
In material science and engineering, the grain structure inside a super-alloy sample determines its mechanical and physical properties. In this paper, we develop a new Multichannel...
166
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...