2343 search results - page 192 / 469 » Structure and Interpretation of Computer Programs |
144
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
169
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We analyze knowledge production in Computer Science by means of coauthorship networks. For this, we consider 30 graduate programs of different regions of the world, being 8 progra...
191
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents an analysis of microarray gene expression data from patients with and without scleroderma skin disease using computational intelligence and visual data mining ...
193
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...
185
click to vote
FMOODS
2003
15 years 7 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...