10568 search results - page 317 / 2114 » Computer Intelligence and Formalization |
130
click to vote
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
122
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
We present a snapshot of work in progress to define a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.
110
click to vote
ENTCS
2006
15 years 3 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
137
click to vote
GRAMMARS
2002
15 years 3 months ago
2002
Recent models of natural language processing employ statistical reasoning for dealing with the ambiguity of formal grammars. In this approach, statistics, concerning the various li...
150
click to vote
DSS
2002
15 years 3 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...