1676 search results - page 174 / 336 » Formal System Development with KIV |
207
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Spatial clustering, which groups similar spatial objects into classes, is an important research topic in spatial data mining. Many spatial clustering methods have been developed re...
150
click to vote
RECSYS
2009
ACM
16 years 29 days ago
2009
ACM
We examine the case of over-specialization in recommender systems, which results from returning items that are too similar to those previously rated by the user. We propose Outsid...
161
click to vote
IWIA
2005
IEEE
16 years 22 hour ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
168
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
We present lessons learned from developing Alice, a 3D graphics programming environment designed for undergraduates with no 3D graphics or programming experience. Alice is a Windo...
174
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...