7991 search results - page 608 / 1599 » Using More Reasoning to Improve |
190
click to vote
CSCW
2006
ACM
16 years 1 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
180
Voted
GLVLSI
2005
IEEE
16 years 27 days ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
164
click to vote
TPHOL
2005
IEEE
16 years 25 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
204
click to vote
GROUP
2005
ACM
16 years 25 days ago
2005
ACM
Information seeking and management practices are an integral aspect of people’s daily work. However, we still have little understanding of collaboration in the information seeki...
189
click to vote
CAV
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...