Sciweavers

1757 search results - page 105 / 352
» Alternating Refinement Relations
Sort
View
IANDC
2000
64views more  IANDC 2000»
15 years 3 months ago
Bisimilarity of Open Terms
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
Arend Rensink
ICIP
2009
IEEE
16 years 4 months ago
Modified Grabcut For Unsupervised Object Segmentation
We propose a fully automated variation of the GrabCut technique for segmenting comparatively simple images with little variation in background colour and relatively high contrast ...
FC
2009
Springer
142views Cryptology» more  FC 2009»
15 years 9 months ago
Passwords: If We're So Smart, Why Are We Still Using Them?
While a lot has changed in Internet security in the last 10 years, a lot has stayed the same – such as the use of alphanumeric passwords. Passwords remain the dominant means of a...
Cormac Herley, Paul C. van Oorschot, Andrew S. Pat...
91
Voted
CEC
2008
IEEE
15 years 9 months ago
Coevolving strategic intelligence
— Strategic decision making done in parallel with the opposition makes it difficult to predict the opposition’s strategy. An important aspect in deciding a move is evaluating ...
Phillipa M. Avery, Garrison W. Greenwood, Zbigniew...
ISCAS
2008
IEEE
179views Hardware» more  ISCAS 2008»
15 years 9 months ago
Direction of arrival estimation for speech sources using fourth order cross cumulants
— In many applications where speech separation and enhancement is of interest, e.g. conferencing systems, mobile phones and hearing aids, accurate speaker localization is importa...
Mikael Swarding, Benny Sallberg, Nedelko Grbic