4581 search results - page 534 / 917 » Computing Transformation Semigroups |
159
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Due to the random nature of photon emission and the various internal noise sources of the detectors, real timelapse fluorescence microscopy images are usually modeled as the sum o...
251
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
178
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
203
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
High level synthesis tools transform an algorithmic description to a register transfer language (RTL) description of the hardware. The algorithm behavior is typically described in...
188
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...