Search Sciweavers | Sciweavers

2490 search results - page 29 / 498

» Complexity of Contextual Reasoning

100

click to vote

PERCOM
2010
ACM

137views Computer Networks» more PERCOM 2010»

Towards the adaptive integration of multiple context reasoners in pervasive computing environments

14 years 8 months ago

Download homes.dico.unimi.it

Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...

Daniele Riboni, Linda Pareschi, Claudio Bettini

claim paper

Read More »

162

click to vote

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

15 years 10 months ago

Download www.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

click to vote

ECSQARU
2009
Springer

104views Automated Reasoning» more ECSQARU 2009»

Complexes of Outer Consonant Approximations

15 years 4 months ago

Download cms.brookes.ac.uk

Fabio Cuzzolin

claim paper

Read More »

click to vote

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

15 years 4 months ago

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

click to vote

ICLP
2007
Springer

131views Automated Reasoning» more ICLP 2007»

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers