940 search results - page 80 / 188 » Control Abstractions for Local Search |
131
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
controls often required for gameplay hinder the potential for social interaction, especially in domestic settings. Purple Crayon, an interactive electronic entertainment environme...
295
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...
156
click to vote
IWSOS
2007
Springer
16 years 10 days ago
2007
Springer
Today networks suffer from various challenges like distributed denial of service attacks or worms. Multiple different anomaly-based detection systems try to detect and counter such...
171
click to vote
SUTC
2006
IEEE
16 years 6 days ago
2006
IEEE
Amidst the numerous active research efforts in wireless sensor networks which aim to push beyond the limits, we aim to significantly enhance the effectiveness of wireless sensors ...
152
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a new fast and local method of 3D surface reconstruction for scattered data. The algorithm makes use of quasiinterpolants to compute the control point...