Search Sciweavers | Sciweavers

3991 search results - page 64 / 799

» Bounding homogeneous models

click to vote

DDECS
2007
IEEE

103views Hardware» more DDECS 2007»

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

14 years 2 months ago

Download ira.informatik.uni-freiburg.de

Marc Herbstritt, Bernd Becker, Erika Ábrah&...

claim paper

Read More »

click to vote

3DPVT
2006
IEEE

126views Visualization» more 3DPVT 2006»

An Efficient Error-Bounded General Camera Model

14 years 1 months ago

Download www.cs.purdue.edu

Voicu Popescu, Jordan Dauble, Chunhui Mei, Elisha ...

claim paper

Read More »

click to vote

DATE
2005
IEEE

98views Hardware» more DATE 2005»

Space-Efficient Bounded Model Checking

14 years 1 months ago

Download www.cs.tau.ac.il

Jacob Katz, Ziyad Hanna, Nachum Dershowitz

claim paper

Read More »

click to vote

HICSS
2005
IEEE

124views Biometrics» more HICSS 2005»

Bounded in Cyberspace: An Empirical Model of Self-Regulation in Virtual Communities

14 years 1 months ago

Download ekarine.org

This article aims to focus on self-regulation mechanisms that are exercised by virtual communities in order to maintain their boundaries of autonomy while directing behavior of th...

Karine Barzilai-Nahon, Seev Neumann

claim paper

Read More »

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers