Search Sciweavers | Sciweavers

7961 search results - page 122 / 1593

» Input-Output Model Programs

118

click to vote

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

15 years 23 days ago

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

114

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 23 days ago

Download www.lks.uni-oldenburg.de

Claus Möbus, Mark Eilers

claim paper

Read More »

101

click to vote

COMJ
2010

262views Applied Computing» more COMJ 2010»

Constraint Application with Higher-Order Programming for Modeling Music Theories

15 years 12 days ago

Download cmr.soc.plymouth.ac.uk

Torsten Anders, Eduardo Reck Miranda

claim paper

Read More »

107

click to vote

CONSTRAINTS
2011

200views Applied Computing» more CONSTRAINTS 2011»

Formal languages for integer programming modeling of shift scheduling problems

14 years 10 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 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers