493 search results - page 50 / 99 » Strategies and simulations in a semantic framework |
JLP
2010
14 years 6 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
TWC
2008
14 years 11 months ago
2008
Abstract-- In distributed wireless networks without centralized control, each user is its own authority to maximize its own performance. This distributed characteristic provides th...
101
click to vote
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
124
click to vote
DAC
2006
ACM
15 years 1 months ago
2006
ACM
With the growing complexity in consumer embedded products and the improvements in process technology, Multi-Processor SystemOn-Chip (MPSoC) architectures have become widespread. T...
118
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: In two-channel competitive genomic hybridization microarray experiments, the ratio of the two fluorescent signal intensities at each spot on the microarray is commonly...