Search Sciweavers | Sciweavers

678 search results - page 122 / 136

» The Theory of Weak Stabilization

click to vote

KBSE
2005
IEEE

201views Software Engineering» more KBSE 2005»

Automated test generation for engineering applications

14 years 1 months ago

Download research.nianet.org

In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...

Songtao Xia, Ben Di Vito, César Muño...

claim paper

Read More »

click to vote

CSL
2004
Springer

156views Automated Reasoning» more CSL 2004»

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics

14 years 28 days ago

Download www.cs.umass.edu

To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...

Neil Immerman, Alexander Moshe Rabinovich, Thomas ...

claim paper

Read More »

click to vote

SAGT
2010
Springer

160views Game Theory» more SAGT 2010»

How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard?

13 years 6 months ago

Download www.csc.liv.ac.uk

The PPAD-completeness of Nash equilibrium computation is taken as evidence that the problem is computationally hard in the worst case. This evidence is necessarily rather weak, in ...

Paul W. Goldberg

claim paper

Read More »

click to vote

Publication

338views

A Reference Discretization Strategy for the Numerical Solution of Physical Field Problems.

12 years 5 months ago

Download docs.google.com

I. Introduction II. Foundations A. The Mathematical Structure of Physical Field Theories B. Geometric Objects and Orientation 1. Space-Time Object...

Claudio Mattiussi

posted by claudio.mattiussi@gmail.com