7991 search results - page 649 / 1599 » Using More Reasoning to Improve |
206
click to vote
ECIS
2004
15 years 8 months ago
2004
This paper explores the use of two complementary approaches, each stemming from Personal Construct Theory (PCT), to investigate the interdependence of organizations and informatio...
241
click to vote
PEPM
2010
ACM
15 years 9 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
348
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
186
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We present a study investigating the use of vibrotactile feedback for touch-screen keyboards on PDAs. Such keyboards are hard to use when mobile as keys are very small. We conduct...
210
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Organizations are increasingly using cross-functional project teams to increase flexibility. The belief is that individuals will be able to share and combine their different knowl...