4109 search results - page 409 / 822 » User Interface Software Tools |
179
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Instrumented with multiple depth cameras and projectors, LightSpace is a small room installation designed to explore a variety of interactions and computational strategies related...
180
click to vote
VIS
2009
IEEE
16 years 8 months ago
2009
IEEE
Nucleation phenomena play a pivotal role in many atmospheric and technological processes. However, understanding atmospheric nucleation processes has been difficult due to the lac...
191
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and v...
317
click to vote
FROCOS
2011
Springer
14 years 6 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...
190
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Whole genome association studies using highly dense single nucleotide polymorphisms (SNPs) are a set of methods to identify DNA markers associated with variation in a ...