3379 search results - page 226 / 676 » Combinators for Interaction Nets |
161
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Text classification has matured as a research discipline over the last decade. Independently, business intelligence over structured databases has long been a source of insights fo...
205
click to vote
RTAS
2008
IEEE
16 years 29 days ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
185
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
170
click to vote
VRST
2006
ACM
16 years 15 days ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...
141
click to vote
VISUALIZATION
2005
IEEE
16 years 4 days ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...