Search Sciweavers | Sciweavers

78 search results - page 5 / 16

» Representation and Timing in Theories of the Dopamine System

click to vote

FUIN
2006

103views more FUIN 2006»

A Categorical View on Algebraic Lattices in Formal Concept Analysis

13 years 7 months ago

Download smartweb.dfki.de

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...

claim paper

Read More »

click to vote

VALUETOOLS
2006
ACM

149views Hardware» more VALUETOOLS 2006»

Tail asymptotics for discrete event systems

14 years 1 months ago

Download www.di.ens.fr

In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...

Marc Lelarge

claim paper

Read More »

click to vote

ICAIL
1995
ACM

95views Artificial Intelligence» more ICAIL 1995»

An Implementation of Eisner v. Macomber

13 years 11 months ago

Download www.cs.rutgers.edu

Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...

L. Thorne McCarty

claim paper

Read More »

click to vote

EMSOFT
2009
Springer

144views Software Engineering» more EMSOFT 2009»

Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation

13 years 11 months ago

Download www.lri.fr

This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...

Marc Pouzet, Pascal Raymond

claim paper

Read More »

click to vote

Publication

338views

A Reference Discretization Strategy for the Numerical Solution of Physical Field Problems.

12 years 5 months ago