6279 search results - page 1063 / 1256 » Objects as session-typed processes |
169
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
The acquisition of geometric information from realworld objects has become a major way of modeling complex scenes and environments. Unfortunately, most optical methods for geometr...
190
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...
169
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
173
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
162
click to vote
ITICSE
2003
ACM
15 years 12 months ago
2003
ACM
Changing conditions for teaching increase our motivation to understand the teaching and learning process. First time investigators of educational settings often feel uncertain abo...