8636 search results - page 1355 / 1728 » How Developers Copy |
141
click to vote
ITP
2010
15 years 6 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
157
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
We propose a dynamic faceted search system for discoverydriven analysis on data with both textual content and structured attributes. From a keyword query, we want to dynamically s...
131
click to vote
ACMACE
2005
ACM
15 years 6 months ago
2005
ACM
We introduce how to involve the heat sensation in image creation by using thermal vision. We develop ”ThermoTablet” which can detect touch regions of physical input objects on...
124
click to vote
DCOSS
2010
Springer
15 years 6 months ago
2010
Springer
Jamming attacks are especially harmful when ensuring the dependability of wireless communication. Finding the position of a jammer will enable the network to actively exploit a wid...
122
click to vote
CANDC
2005
ACM
15 years 6 months ago
2005
ACM
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...