940 search results - page 80 / 188 » Control Abstractions for Local Search |
105
Voted
ACMACE
2007
ACM
15 years 7 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...
236
Voted
FROCOS
2011
Springer
14 years 3 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...
125
Voted
IWSOS
2007
Springer
15 years 9 months 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...
139
Voted
SUTC
2006
IEEE
15 years 9 months 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 ...
125
Voted
ICCSA
2005
Springer
15 years 9 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...