994 search results - page 99 / 199 » Declarative Programming of User Interfaces |
131
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
138
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
126
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
131
click to vote
JCC
2011
14 years 11 months ago
2011
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...
261
click to vote
Book
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...