Search Sciweavers | Sciweavers

700 search results - page 3 / 140

» Towards a theory of

click to vote

ICFP
2005
ACM

104views Programming Languages» more ICFP 2005»

Towards a type theory of contexts

14 years 7 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

click to vote

KR
2010
Springer

210views Automated Reasoning» more KR 2010»

Towards a Logic of Feature-Based Semantic Science Theories

14 years 18 days ago

Download www.cs.ubc.ca

The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...

David Poole

claim paper

Read More »

click to vote

CHI
2009
ACM

127views Human Computer Interaction» more CHI 2009»

Toward a unified theory of the multitasking continuum: from concurrent performance to task switching, interruption, and resumpti

14 years 8 months ago

Download www.ai.rug.nl

Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...

Dario D. Salvucci, Niels Taatgen, Jelmer P. Borst

claim paper

Read More »

click to vote

JITECH
2008

117views more JITECH 2008»

Towards a theory of organizational information services

13 years 7 months ago

Download www2.warwick.ac.uk

: The use of information technology (IT) in organizations has undergone dramatic changes the past 30 years. As a result, it has become increasingly common to adopt a services rathe...

Lars Mathiassen, Carsten Sørensen

claim paper

Read More »

click to vote

DCC
2006
IEEE

90views Computer Graphics» more DCC 2006»

Toward a Source Coding Theory for Sets

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers