Search Sciweavers | Sciweavers

10891 search results - page 131 / 2179

» Combining Model Reductions

100

click to vote

ATAL
2004
Springer

62views Intelligent Agents» more ATAL 2004»

A Cooperative Negotiation Protocol for Physiological Model Combination

16 years 5 days ago

Download home.dei.polimi.it

Nicola Gatti, Francesco Amigoni

claim paper

Read More »

185

click to vote

ICFEM
2004
Springer

86views Software Engineering» more ICFEM 2004»

Model-Based Development: Combining Engineering Approaches and Formal Techniques

16 years 4 days ago

Download www4.in.tum.de

Bernhard Schätz

claim paper

Read More »

152

click to vote

SAT
2004
Springer

158views Hardware» more SAT 2004»

Combining Component Caching and Clause Learning for Effective Model Counting

16 years 4 days ago

Download www.satisfiability.org

Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Ka...

claim paper

Read More »

134

click to vote

CW
2003
IEEE

59views Distributed And Parallel Com...» more CW 2003»

Combining Polygonal and Subdivision Surface approaches to Modelling of Urban Environments

16 years 2 days ago

Download www.cgv.tugraz.at

A. M. Day, David B. Arnold, Sven Havemann, Dieter ...

claim paper

Read More »

149

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers