2765 search results - page 415 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
184
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an a...
196
click to vote
ALIFE
2006
15 years 6 months ago
2006
We show how cultural selection for learnability during the process of linguistic evolution can be visualized using a simple iterated learning model. Computational models of linguis...
168
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
164
click to vote
INFORMS
2010
15 years 5 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
176
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...