5630 search results - page 285 / 1126 » Computability in Specification |
176
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
185
click to vote
RECOMB
2003
Springer
16 years 7 months ago
2003
Springer
The availability of whole genome sequences and high-throughput genomic assays opens the door for in silico analysis of transcription regulation. This includes methods for discover...
189
click to vote
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a novel algorithm performing projective rectification which does not require explicit computation of the epipolar geometry, and specifically of the fundamental matrix. ...
166
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Email consumes significant time and attention in the workplace. We conducted an organizational survey to understand how and why people attend to incoming email messages. We examin...
173
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The trend of increasing speed and complexity in the single-core processor as stated in the Moore’s law is facing practical challenges. As a result, the multi-core processor arch...