93 search results - page 15 / 19 » A Formal Approach to the Generation of Visual Language Envir... |
TLDI
2010
ACM
14 years 4 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
SMALLTALK
2007
Springer
14 years 1 months ago
2007
Springer
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
VRML
1999
ACM
13 years 11 months ago
1999
ACM
VRML is a file format for the description of dynamic scene graphs containing 3D objects with their visual appearance, multimedia content, an event model, and scripting capabilitie...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, a control scheme that combines trajectory planning and gaze direction control for robotic exploration is presented. The objective is to calculate the gaze direct...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...