Sciweavers

1061 search results - page 57 / 213
» Dependently Sorted Logic
Sort
View
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 8 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher

Book
688views
15 years 8 months ago
Database Management Systems
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
Raghu Ramakrishnan, Johannes Gehrke
ICML
2004
IEEE
14 years 10 months ago
Gaussian process classification for segmenting and annotating sequences
Many real-world classification tasks involve the prediction of multiple, inter-dependent class labels. A prototypical case of this sort deals with prediction of a sequence of labe...
Yasemin Altun, Thomas Hofmann, Alex J. Smola
STOC
2006
ACM
138views Algorithms» more  STOC 2006»
14 years 10 months ago
Searching dynamic point sets in spaces with bounded doubling dimension
We present a new data structure that facilitates approximate nearest neighbor searches on a dynamic set of points in a metric space that has a bounded doubling dimension. Our data...
Richard Cole, Lee-Ad Gottlieb
AHS
2006
IEEE
112views Hardware» more  AHS 2006»
14 years 4 months ago
Evolution of Multifunctional Combinational Modules Controlled by the Power Supply Voltage
Polymorphic electronics provides a new way for obtaining circuits that are able to perform two or more functions depending on the environment in which they operate. These function...
Lukás Sekanina, Lukás Starecek, Zbys...