Sciweavers

7820 search results - page 17 / 1564

» Formalization of Time and Space

16

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

14 years 29 days ago

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

11

WEBIST
2008

74views Internet Technology» more WEBIST 2008»

Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments

13 years 8 months ago

Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments

Download users.dimi.uniud.it

Antonina Dattolo, Flaminia L. Luccio

claim paper

Read More »

21

JAIR
2000

66views more JAIR 2000»

Space Efficiency of Propositional Knowledge Representation Formalisms

13 years 7 months ago

Space Efficiency of Propositional Knowledge Representation Formalisms

Download www.jair.org

Marco Cadoli, Francesco M. Donini, Paolo Liberator...

claim paper

Read More »

14

SAC
2002
ACM

77views Applied Computing» more SAC 2002»

Formal verification of replication on a distributed data space architecture

13 years 7 months ago

Formal verification of replication on a distributed data space architecture

Download ftp.inrialpes.fr

Jozef Hooman, Jaco van de Pol

claim paper

Read More »

52

SIGMOD
2008
ACM

182views Database» more SIGMOD 2008»

Angle-based space partitioning for efficient parallel skyline computation

14 years 7 months ago

Angle-based space partitioning for efficient parallel skyline computation

Download www.db-net.aueb.gr

Recently, skyline queries have attracted much attention in the database research community. Space partitioning techniques, such as recursive division of the data space, have been ...

Akrivi Vlachou, Christos Doulkeridis, Yannis Kotid...

claim paper

Read More »

« Prev « First page 17 / 1564 Last » Next »