Sciweavers

1487 search results - page 11 / 298
» Two Kinds of Metonymy
Sort
View
SIGLEX
1991
13 years 11 months ago
Aspectual Requirements of Temporal Connectives: Evidence for a Two-Level Approach to Semantics
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
Michael Herweg
UAI
2007
13 years 8 months ago
"I Can Name that Bayesian Network in Two Matrixes!"
The traditional approach to building Bayesian networks is to build the graphical structure using a graphical editor and then add probabilities using a separate spreadsheet for eac...
Russell Almond
BC
2004
95views more  BC 2004»
13 years 7 months ago
Tactile efficiency of insect antennae with two hinge joints
Antennae are the main organs of the arthropod tactile sense. In contrast to other senses that are capable of retrieving spatial information, e.g. vision, spatial sampling of tactil...
André Frank Krause, Volker Dürr
JUCS
2000
102views more  JUCS 2000»
13 years 7 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
JAPLL
2006
87views more  JAPLL 2006»
13 years 7 months ago
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
Freek Wiedijk