4814 search results - page 561 / 963 » Combining abstract interpreters |
170
Voted
SSC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The filter generator consists of a linear feedback shift register (LFSR) and a Boolean filtering function that combines some bits from the shift register to create a ke...
187
Voted
WAW
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper describes a technique for reducing the querytime cost of HITS-like ranking algorithm. The basic idea is to compute for each node in the web graph a summary of ...
175
click to vote
BSN
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper introduces an encapsulated sensor node that is devised to monitor and record motion patterns over long, quotidian periods of time with potential application in psycholo...
240
click to vote
DASC
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— This paper describes Service Clouds, a distributed infrastructure designed to facilitate rapid prototyping and deployment of services that enhance communication perform...
163
click to vote
ICAT
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. Collaborative Augmented Reality (AR) setups are becoming increasingly popular. We have developed a collaborative tabletop environment that is designed for brainstorming a...