Sciweavers

4047 search results - page 649 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
CVPR
2010
IEEE
16 years 2 months ago
SPEC Hashing: Similarity Preserving algorithm for Entropy-based Coding
Searching approximate nearest neighbors in large scale high dimensional data set has been a challenging problem. This paper presents a novel and fast algorithm for learning binary...
Ruei-Sung Lin, David Ross, Jay Yagnik
TACAS
2010
Springer
160views Algorithms» more  TACAS 2010»
16 years 1 months ago
Optimal Tableau Algorithms for Coalgebraic Logics
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
Rajeev Goré, Clemens Kupke, Dirk Pattinson
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
16 years 1 months ago
Decentralized Reactive Power Dispatch for a Time-Varying Multi-TSO System
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...
Yannick Phulpin, Miroslav Begovic, Marc Petit, Dam...
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
16 years 1 months ago
Second Life as a Medium for Lecturing in College Courses
Second Life is an online virtual world that is gaining popularity in academic institutions as an alternative means for collaborative and distance education. However, the number of...
Daniel C. Cliburn, Jeffrey L. Gross
IEEEARES
2009
IEEE
16 years 1 months ago
A Framework for Understanding Botnets
Botnets have become a severe threat to the cyberspace. However, existing studies are typically conducted in an ad hoc fashion, by demonstrating specific analysis on captured bot ...
Justin Leonard, Shouhuai Xu, Ravi S. Sandhu