4880 search results - page 734 / 976 » Manuals as Structured Programs |
180
click to vote
WIA
2009
Springer
16 years 1 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
180
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
160
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
159
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In online handwritten math expression recognition, one-pass dynamic programming can produce highquality symbol graphs in addition to best symbol sequence hypotheses [3], especiall...
184
click to vote
FUZZIEEE
2007
IEEE
16 years 29 days ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...