1411 search results - page 47 / 283 » Interactive Coding for Interactive Proofs |
ISORC
2006
IEEE
14 years 5 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
ITCC
2005
IEEE
14 years 4 months ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
ICCS
2003
Springer
14 years 4 months ago
2003
Springer
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
Evo Indent http://www.dcs.kcl.ac.uk/staff/W.Langdon/ evo_indent/ is a PHP web server based user driven genetic algorithm which finds good C code layouts generated by GNU indent. ...
ICMB
2007
IEEE
14 years 2 months ago
2007
IEEE
Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...