Sciweavers

4328 search results - page 754 / 866
» A New Kind of Science
Sort
View
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 8 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
JCDL
2010
ACM
151views Education» more  JCDL 2010»
15 years 8 months ago
Domain-specific iterative readability computation
We present a new algorithm to measure domain-specific readability. It iteratively computes the readability of domainspecific resources based on the difficulty of domain-specific c...
Jin Zhao, Min-Yen Kan
ATAL
2007
Springer
15 years 8 months ago
Agents that remember can tell stories: integrating autobiographic memory into emotional agents
For the past few years many new applications are being developed featuring interactive environments populated with autonomous virtual agents capable of acting according to their g...
Wan Ching Ho, João Dias, Rui Figueiredo, An...
BDA
2007
15 years 7 months ago
A Satisfaction Balanced Query Allocation Process for Distributed Information Systems
We consider a distributed information system that allows autonomous consumers to query autonomous providers. We focus on the problem of query allocation from a new point of view, ...
Jorge-Arnulfo Quiané-Ruiz, Philippe Lamarre...
DAGSTUHL
2010
15 years 7 months ago
Streaming Aerial Video Textures
We present a streaming compression algorithm for huge time-varying aerial imagery. New airborne optical sensors are capable of collecting billion-pixel images at multiple frames p...
Christopher S. Co, Mark A. Duchaineau, Kenneth I. ...