Search Sciweavers | Sciweavers

14244 search results - page 416 / 2849

» Modeling Program Predictability

127

click to vote

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

15 years 2 months ago

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

126

click to vote

HCI
2009

158views Human Computer Interaction» more HCI 2009»

Further Steps towards Driver Modeling According to the Bayesian Programming Approach

15 years 2 months ago

Download www.lks.uni-oldenburg.de

Claus Möbus, Mark Eilers

claim paper

Read More »

114

click to vote

COMJ
2010

262views Applied Computing» more COMJ 2010»

Constraint Application with Higher-Order Programming for Modeling Music Theories

15 years 1 months ago

Download cmr.soc.plymouth.ac.uk

Torsten Anders, Eduardo Reck Miranda

claim paper

Read More »

124

click to vote

CONSTRAINTS
2011

200views Applied Computing» more CONSTRAINTS 2011»

Formal languages for integer programming modeling of shift scheduling problems

14 years 11 months ago

Download www.crt.umontreal.ca

Marie-Claude Côté, Bernard Gendron, C...

claim paper

Read More »

click to vote

ACL
2011

159views Computational Linguistics» more ACL 2011»

Recognizing Authority in Dialogue with an Integer Linear Programming Constrained Model

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers