3006 search results - page 474 / 602 » Overview |
97
Voted
JIIS
2008
15 years 1 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
107
click to vote
JNW
2008
15 years 1 months ago
2008
This paper provides an overview of the technologies used in smart classrooms for distance education by classifying smart classrooms into four categories and discussing the type of ...
84
Voted
DEBU
2007
15 years 1 months ago
2007
We present an overview of the embeddability features of SQL Anywhere, a full-function relational database system designed for frontline business environments with minimal administ...
JUCS
2008
15 years 1 months ago
2008
: BigBatch is an image processing environment designed to process batches of thousands of monochromatic documents. One of the flexibilities and pioneer aspects of BigBatch is offer...
JITE
2006
15 years 1 months ago
2006
The last twenty years has seen the development of demand for a new type of computing professional, which has resulted in the emergence of the academic discipline of Information Te...