634 search results - page 42 / 127 » Separability in the Ambient Logic |
149
click to vote
FOSSACS
2009
Springer
16 years 27 days ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
169
click to vote
EGC
2005
Springer
15 years 11 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
203
click to vote
NIPS
2004
15 years 7 months ago
2004
This paper presents an adaptive discriminative generative model that generalizes the conventional Fisher Linear Discriminant algorithm and renders a proper probabilistic interpret...
172
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
This paper introduces a method of enhancing an unattended ground sensor (UGS) system’s classification capability of humans via seismic signatures while subsequently discriminati...
169
click to vote
JAIR
1998
15 years 5 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...