Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
As virtual worlds evolve, so does the visual complexity and customizability of the avatars inside the worlds. In virtual worlds such as Second Life, prospering virtual fashion ind...
Jeffrey Bardzell, Tyler Pace, Laura Brunetti, Qian...
Knowledge discovery allows considerable insight into data. This brings with it the inherent risk that what is inferred may be private or ethically sensitive. The process of genera...
Project JXTA is the first peer-to-peer application development infrastructure, consisting of standard protocols and multi-language implementations. A JXTA peer network is a comple...
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...