994 search results - page 124 / 199 » Declarative Programming of User Interfaces |
126
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...
124
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
153
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: The analysis of biological data is greatly enhanced by existing or emerging databases. Most existing databases, with few exceptions are not designed to easily support ...
115
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
114
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently, mobile TV is becoming a mainstream service in mobile broadcasting scenario, where requires lots of mobile factors such as robust transmission, high performance and easy ...