653 search results - page 94 / 131 » Implications of a Data Structure Consistency Checking System |
152
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
On-line pen input benefits greatly from mode detection when the user is in a free writing situation, where he is allowed to write, to draw, and to generate gestures. Mode detecti...
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
136
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
A great deal of work has been carried out in recent years to facilitate access to data and information available on the Web. Proposals converge in two additional areas which consis...
132
click to vote
ENTCS
2007
15 years 4 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
113
click to vote
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...