5465 search results - page 514 / 1093 » Assigning Types to Processes |
193
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
159
click to vote
MPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
182
Voted
HCI
2007
15 years 8 months ago
2007
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...
172
Voted
ISTA
2007
15 years 8 months ago
2007
: With the ever-growing availability of so-called complex data, especially on the Web, decision-support systems such as data warehouses must store and process data that are not onl...
141
Voted
NAACL
2007
15 years 8 months ago
2007
We describe the use of meeting metadata, acquired using a computerized meeting organization and note-taking system, to improve automatic transcription of meetings. By applying a t...