Sciweavers

3563 search results - page 170 / 713
» Information theory in neuroscience
Sort
View
INTERACT
2003
15 years 3 months ago
Layering a Minimal Interface
: This paper reports on a software tutorial designed according to minimalist principles. The design extends minimalism beyond paper-based instructions to computer-based interface, ...
Frank Vetere, Steve Howard
ECSQARU
2009
Springer
15 years 8 months ago
A Default Logic Patch for Default Logic
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
Philippe Besnard, Éric Grégoire, S&e...
MKM
2007
Springer
15 years 8 months ago
Context Aware Calculation and Deduction
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
Amine Chaieb, Makarius Wenzel
BIRTHDAY
2006
Springer
15 years 5 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
ECIS
2003
15 years 3 months ago
Critical realism: a way forward in IS research
Although different strands of “post-approaches” and “post-theories”, for example, grounded theory and structuration theory, have gained popularity in Information Systems (...
Sven A. Carlsson