3379 search results - page 93 / 676 » Combinators for Interaction Nets |
145
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
123
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
This study presents the "ChroMirror" system, a digital mirror imaging system which helps users select appropriate clothing color combinations. By digitally rendering a m...
107
click to vote
CG
2006
Springer
15 years 4 months ago
2006
Springer
For over 20 years, interventional methods have improved the outcomes of patients with cardiovascular disease or stroke. However, these procedures require an intricate combination ...
142
click to vote
NETGAMES
2003
ACM
15 years 9 months ago
2003
ACM
Abstract— Multiplayer games become increasingly popular, mostly because they involve interaction among humans. Typically, multiplayer games are organized based on a Client-Server...
129
click to vote
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...