2060 search results - page 315 / 412 » The Composition of Event-B Models |
172
click to vote
NAR
2011
14 years 7 months ago
2011
Chromatin modification (CM) is a set of epigenetic processes that govern many aspects of DNA replication, transcription and repair. CM is carried out by groups of physically inter...
202
click to vote
CANDC
2011
ACM
14 years 4 months ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...
164
click to vote
COMPSAC
2011
IEEE
14 years 4 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
155
click to vote
VLDB
2012
ACM
14 years 6 days ago
2012
ACM
In the last decade, spatio-temporal database research focuses on the design of effective and efficient indexing structures in support of location-based queries such as predictive...
175
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...