6357 search results - page 983 / 1272 » An Interactive Interface for Lighting-by-Example |
200
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
Social network sites (SNSs) are bundles of information and communication tools that can be used to support collaboration, among other uses. In a qualitative study of adult Faceboo...
145
Voted
EOR
2010
15 years 1 months ago
2010
PACMAN (Passive and Active Compensability Multicriteria ANalysis) is a multiple criteria methodology based on a decision maker oriented notion of compensation, called compensabili...
143
Voted
JCAMD
2010
15 years 1 months ago
2010
Docking of small molecule compounds into the binding site of a receptor and estimating the binding affinity of the complex is an important part of the structurebased drug design pr...
296
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
138
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
MONNET is a visual surveillance system for tracking pedestrians over extended premises. The MONNET system is composed of intelligent nodes, which exchange information on the indiv...