Sciweavers

1414 search results - page 42 / 283
» Combining Intruder Theories
Sort
View
SIGCSE
1999
ACM
145views Education» more  SIGCSE 1999»
15 years 9 months ago
Using JFLAP to interact with theorems in automata theory
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
Eric Gramond, Susan H. Rodger
CAD
2007
Springer
15 years 5 months ago
A formal theory for estimating defeaturing-induced engineering analysis errors
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
Sankara Hari Gopalakrishnan, Krishnan Suresh
MMS
2006
15 years 5 months ago
Forms and theories of communication: from multimedia to Kansei Mediation
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
Ryohei Nakatsu, Matthias Rauterberg, Ben Salem
145
Voted
JCC
2007
76views more  JCC 2007»
15 years 5 months ago
Valence bond theory for chemical dynamics
: This essay provides a perspective on several issues in valence bond theory: the physical significance of semilocal bonding orbitals, the capability of valence bond concepts to e...
Donald G. Truhlar
ICDT
2007
ACM
160views Database» more  ICDT 2007»
15 years 11 months ago
Beauty and the Beast: The Theory and Practice of Information Integration
Information integration is becoming a critical problem for businesses and individuals alike. Data volumes are sky-rocketing, and new sources and types of information are proliferat...
Laura M. Haas