1560 search results - page 53 / 312 » Order Functions and Evaluation Codes |
SFP
2004
13 years 10 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
EUROCAST
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
MODELLIERUNG
2008
13 years 10 months ago
2008
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
FMCAD
2009
Springer
14 years 3 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
IPM
2006
13 years 8 months ago
2006
Both structured and unstructured data, as well as structured data representing several different types of tuples, may be integrated into a single list for browsing or retrieval. D...