3717 search results - page 232 / 744 » Representing Multiple Theories |
192
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
207
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
Sensor networks have increased the amount and variety of temporal data available, requiring the definition of new techniques for data mining. Related research typically addresses...
138
click to vote
ER
2007
Springer
16 years 26 days ago
2007
Springer
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
171
Voted
GEOS
2007
Springer
16 years 26 days ago
2007
Springer
Maps are artifacts often derived from multiple sources of data, e.g., sensors, and processed by multiple methods, e.g., gridding and smoothing algorithms. As a result, complex meta...
154
click to vote
ISI
2007
Springer
16 years 26 days ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...