5863 search results - page 1042 / 1173 » On Model-Checking of P Systems |
133
click to vote
CIKM
1994
Springer
15 years 8 months ago
1994
Springer
The rapid advances in computer and communication technologies, and their merger, is leading to a global information market place. It will consist of federations of very large numb...
132
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
141
click to vote
SI3D
1992
ACM
15 years 8 months ago
1992
ACM
The 3D components of today's user interfaces are still underdeveloped. Direct interaction with 3D objects has been limited thus far to gestural picking, manipulation with lin...
133
click to vote
UIST
1992
ACM
15 years 8 months ago
1992
ACM
It is often difficult in computer graphics applications to understand spatial relationships betweenobjects in a 3D sceneor effect changes to those objects without specialized visu...
126
click to vote
ICS
1989
Tsinghua U.
15 years 8 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...