2880 search results - page 127 / 576 » Types are calling conventions |
133
click to vote
IAT
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents a model of autonomy called autonomy with regard to an attribute applicable to cognitive and not cognitive artificial agents. Three criteria (global / partial, ...
143
click to vote
CCECE
2006
IEEE
16 years 6 days ago
2006
IEEE
We present an overview of a software architecting method and visual language we call Visual Frameworks. The method creates concrete, strongly typed software architectures throu...
129
click to vote
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
Process-oriented learning designs (POLD) are used to describe innovative teaching activities (processes) that can be generalised and used across different disciplines. This paper ...
135
click to vote
TLCA
1993
Springer
15 years 10 months ago
1993
Springer
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS, and...
148
click to vote
ARSCOM
2005
15 years 6 months ago
2005
A class of graphs called generalized ladder graphs is defined. A sufficient condition for pairs of these graphs to be chromatically equivalent is proven. In addition a formula for...