840 search results - page 126 / 168 » The Complexity of the Extended GCD Problem |
VISUALIZATION
2000
IEEE
14 years 1 months ago
2000
IEEE
The microscopic analysis of time dependent 3D live cells provides considerable challenges to visualization. Effective visualization can provide insight into the structure and func...
VISUALIZATION
1998
IEEE
14 years 1 months ago
1998
IEEE
The key to real-time rendering of large-scale surfaces is to locally adapt surface geometric complexity to changing view parameters. Several schemes have been developed to address...
TIME
1994
IEEE
14 years 1 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
ER
2007
Springer
14 years 1 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
ACOM
2004
Springer
14 years 1 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...