1567 search results - page 77 / 314 » A Mechanized Model of the Theory of Objects |
116
click to vote
COGSCI
2010
15 years 1 months ago
2010
Words are the essence of communication: they are the building blocks of any language. Learning the meaning of words is thus one of the most important aspects of language acquisiti...
SYNTHESE
2010
14 years 8 months ago
2010
Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In...
140
click to vote
SIGGRAPH
1997
ACM
15 years 5 months ago
1997
ACM
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
109
click to vote
SEC
2008
15 years 3 months ago
2008
The performance of an intrusion detector depends on several factors, like its internal architecture and the algorithms it uses. Thus, distinct detectors can behave distinctly when ...
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...