6527 search results - page 1031 / 1306 » On Typing Information Flow |
220
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
In self-adaptive systems, metadata about resources in the system (e.g., services, nodes) must be dynamically published, updated, and removed. Current middleware approaches use sta...
218
Voted
MIRAGE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
205
Voted
MKM
2007
Springer
16 years 1 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
160
Voted
MLMI
2007
Springer
16 years 1 months ago
2007
Springer
A user experiment on multimodal interaction (speech, hand position and hand shapes) to study two major relationships: between the level of cognitive load experienced by users and t...
223
click to vote
MLMI
2007
Springer
16 years 1 months ago
2007
Springer
A speech separation system is described in which sources are represented in a joint interaural time difference-fundamental frequency (ITD-F0) cue space. Traditionally, recurrent t...