15375 search results - page 76 / 3075 » cans 2008 |
IGPL
2008
13 years 7 months ago
2008
Ternary exclusive or is the (two valued) truth function that is true just in case exactly one of its three arguments is true. This is an interesting truth function, not definable ...
IJVR
2008
13 years 7 months ago
2008
Tactile and force feedback are widely exploited in VR and VE applications as a complement or substitution of the visual or auditory presentation of information. We have successfull...
IPL
2008
13 years 7 months ago
2008
In this note, we show, through the use of examples, how generic results for proving fixed-parameter tractability which apply to restricted classes of structures can sometimes be m...
IPL
2008
13 years 7 months ago
2008
Bayesian Network structures with a maximum in-degree of k can be approximated with respect to a positive scoring metric up to an factor of 1/k. Key words: approximation algorithm,...
JAR
2008
13 years 7 months ago
2008
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...