13489 search results - page 656 / 2698 » Operating System |
158
click to vote
VISSYM
2003
15 years 8 months ago
2003
We present ISOSLIDER, a system for interactive exploration of isosurfaces of a scalar field. Our algorithm focuses on fast update of isosurfaces for interactive display as a user...
201
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...
192
click to vote
ICONIP
1998
15 years 8 months ago
1998
The paper presents a framework called ECOS for Evolving COnnectionist Systems. ECOS evolve through incremental learning. They can accommodate any new input data, including new fea...
209
click to vote
IWFM
2000
15 years 8 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
190
click to vote
IJCAI
1997
15 years 8 months ago
1997
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...