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

14 years 9 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

15 years 3 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

15 years 1 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

15 years 1 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 »

122

click to vote

Publication

338views

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

13 years 7 months ago