6016 search results - page 892 / 1204 » The semantics of graphical languages |
211
click to vote
ECOOP
2007
Springer
16 years 29 days ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
184
click to vote
EDOC
2006
IEEE
16 years 26 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
177
click to vote
RSP
2005
IEEE
16 years 11 days ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
213
click to vote
HASKELL
2005
ACM
16 years 11 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
197
click to vote
CICLING
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...