5451 search results - page 416 / 1091 » Typed Operational Semantics |
156
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we develop methods to rapidly remove rough features from irregularly triangulated data intended to portray a smooth surface. The main task is to remove undesirable ...
205
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...
139
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Computational RFIDs (CRFIDs) provide flexible, general-purpose computation on a microcontroller via energy that is harvested and stored in capacitors rather than batteries. Our co...
185
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
178
click to vote
ICWL
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose a language-driven approach for the high-level design of web-based learning applications. In our approach we define a domainspecific language that character...