5325 search results - page 725 / 1065 » Effective Computation for Nonlinear Systems |
189
click to vote
VISUAL
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
195
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
Rendering and animating in real-time a multitude of articulated characters presents a real challenge and few hardware systems are up to the task. Up to now little research has bee...
175
click to vote
ICMCS
1996
IEEE
15 years 11 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
181
click to vote
LFCS
1994
Springer
15 years 11 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
172
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...