Sciweavers

11808 search results - page 437 / 2362
» Isometries and Computability Structures
Sort
View
IANDC
2006
97views more  IANDC 2006»
15 years 6 months ago
Pure bigraphs: Structure and dynamics
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
Robin Milner
JMLR
2008
94views more  JMLR 2008»
15 years 6 months ago
Using Markov Blankets for Causal Structure Learning
We show how a generic feature selection algorithm returning strongly relevant variables can be turned into a causal structure learning algorithm. We prove this under the Faithfuln...
Jean-Philippe Pellet, André Elisseeff
KI
2008
Springer
15 years 6 months ago
A Framework for Mobile Intention Recognition in Spatially Structured Environments
Abstract. Mobile intention recognition is the problem of inferring an agent's intentions from the spatio-temporal behavior she shows. We present a framework for mobile intenti...
Peter Kiefer, Klaus Stein
IJDAR
2007
106views more  IJDAR 2007»
15 years 6 months ago
Investigation and modeling of the structure of texting language
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
Monojit Choudhury, Rahul Saraf, Vijit Jain, Animes...
ITA
2007
153views Communications» more  ITA 2007»
15 years 6 months ago
Deciding inclusion of set constants over infinite non-strict data structures
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
Manfred Schmidt-Schauß, David Sabel, Marko S...