2625 search results - page 301 / 525 » Applications 2000 |
183
click to vote
FMOODS
2000
15 years 8 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
168
click to vote
GRAPHICSINTERFACE
2000
15 years 8 months ago
2000
In this paper, we present an efficient way to denoise bivariate data like height fields, color pictures or vector fields, while preserving edges and other features. Mixing surface...
196
click to vote
GVD
2000
15 years 8 months ago
2000
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
196
click to vote
IC
2000
15 years 8 months ago
2000
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....
187
click to vote
ISMB
2000
15 years 8 months ago
2000
Signal nding pattern discovery in unaligned DNA sequences is a fundamental problem in both computer science and molecular biology with important applications in locating regulator...