226 search results - page 40 / 46 » An Explicit Framework for Interaction Nets |
111
click to vote
ICDM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The increasing popularity of social media is shortening the distance between people. Social activities, e.g., tagging in Flickr, bookmarking in Delicious, twittering in T...
165
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
Our goal is to segment multiple interacting and deforming agents in a video. Detectors often fail under large body deformation or agent entanglement. On the other hand, segmenting...
123
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
110
click to vote
CADE
2005
Springer
15 years 12 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
120
click to vote
AIRWEB
2008
Springer
15 years 1 months ago
2008
Springer
Online social media draws heavily on active reader participation, such as voting or rating of news stories, articles, or responses to a question. This user feedback is invaluable ...