2950 search results - page 459 / 590 » Computing with Infinitely Many Processes |
ENTCS
2010
15 years 2 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
186
click to vote
AUTOMATICA
2006
15 years 2 months ago
2006
In this note we consider the following problem. Suppose a set of sensors is jointly trying to estimate a process. One sensor takes a measurement at every time step and the measure...
106
click to vote
FTDB
2008
15 years 2 months ago
2008
The automatic extraction of information from unstructured sources has opened up new avenues for querying, organizing, and analyzing data by drawing upon the clean semantics of str...
124
click to vote
HIJ
2008
15 years 2 months ago
2008
As clinical trials and medical population studies grow in size and complexity, a computational infrastructure that can underpin such studies is highly desirable. This should addre...
CGF
2006
15 years 2 months ago
2006
We present an interactive modeling system for flower composition that supports seamless transformation from an initial sketch to a detailed three-dimensional (3D) model. To begin,...