5290 search results - page 875 / 1058 » Information systems as social structures |
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
168
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
System identification of plants with binary-valued output observations is of importance in understanding modeling capability and limitations for systems with limited sensor inform...
200
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Peer-to-peer systems offer attractive system management properties, including the ability of components that join the network to self-organize; scalability up to tens of thousands...
172
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract-- This paper presents a fully automatic news skimming system which takes a broadcast news audio stream and provides the user with the segmented, structured and highlighted...
178
click to vote
TOG
2008
15 years 6 months ago
2008
Character animation in video games--whether manually keyframed or motion captured--has traditionally relied on codifying skeletons early in a game's development, and creating...