Search Sciweavers | Sciweavers

7961 search results - page 122 / 1593

» Input-Output Model Programs

152

click to vote

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

15 years 4 months ago

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

153

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 4 months ago

Download www.lks.uni-oldenburg.de

Claus Möbus, Mark Eilers

claim paper

Read More »

143

click to vote

COMJ
2010

262views Applied Computing» more COMJ 2010»

Constraint Application with Higher-Order Programming for Modeling Music Theories

15 years 3 months ago

Download cmr.soc.plymouth.ac.uk

Torsten Anders, Eduardo Reck Miranda

claim paper

Read More »

146

click to vote

CONSTRAINTS
2011

200views Applied Computing» more CONSTRAINTS 2011»

Formal languages for integer programming modeling of shift scheduling problems

15 years 1 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers