12193 search results - page 127 / 2439 » It's not all about |
169
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
174
click to vote
EH
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents experimental results of fast intrinsic evolutionary design and evolutionary fault recovery of a 4-bit Digital to Analog Converter (DAC) using the JPL stand-alo...
156
click to vote
DLOG
2007
15 years 8 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
136
click to vote
EMNLP
2008
15 years 7 months ago
2008
Having seen a news title "Alba denies wedding reports", how do we infer that it is primarily about Jessica Alba, rather than about weddings or reports? We probably reali...
167
click to vote
ANOR
2006
15 years 6 months ago
2006
Electron Microscopy is a valuable tool for the elucidation of the three-dimensional structure of macromolecular complexes. Knowledge about the macromolecular structure provides imp...