Sciweavers

9719 search results - page 558 / 1944
» Inference for Multiplicative Models
Sort
View
VLDB
1990
ACM
143views Database» more  VLDB 1990»
15 years 10 months ago
Synthesizing Database Transactions
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
Xiaolei Qian
ATAL
2003
Springer
15 years 10 months ago
Analyzing the efficiency of strategies for MAS-based sensor interpretation and diagnosis
One of the factors holding back the application of multiagent, distributed approaches to large-scale sensor interpretation and diagnosis problems is the lack of good techniques fo...
Norman Carver, Ruj Akavipat
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
NIPS
2004
15 years 7 months ago
Self-Tuning Spectral Clustering
We study a number of open issues in spectral clustering: (i) Selecting the appropriate scale of analysis, (ii) Handling multi-scale data, (iii) Clustering with irregular backgroun...
Lihi Zelnik-Manor, Pietro Perona
179
Voted
IJCAI
2003
15 years 7 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti