Sciweavers

3040 search results - page 328 / 608
» Synergetic Tool Environments
Sort
View
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
15 years 6 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg
QSHINE
2009
IEEE
16 years 1 months ago
Integration of OMF-Based Testbeds in a Global-Scale Networking Facility
PlanetLab is a global scale platform for experimentation of new networking applications in a real environment. It consists of several nodes, offered by academic institutions or co...
Giovanni Di Stasi, Stefano Avallone, Roberto Canon...

Book
639views
17 years 4 months ago
Making TeX Work
"TeX is a tool for creating professional quality, typeset pages of any kind. It is particularly good, perhaps unsurpassed, at typesetting mathematics ; as a result, it is wide...
NormanWalsh
ECCV
2002
Springer
16 years 8 months ago
3D Modelling Using Geometric Constraints: A Parallelepiped Based Approach
In this paper, efficient and generic tools for calibration and 3D reconstruction are presented. These tools exploit geometric constraints frequently present in man-made environmen...
Marta Wilczkowiak, Edmond Boyer, Peter F. Sturm
ICDE
2000
IEEE
125views Database» more  ICDE 2000»
16 years 8 months ago
An Algebraic Compression Framework for Query Results
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
Zhiyuan Chen, Praveen Seshadri