Sciweavers

3705 search results - page 513 / 741
» Building Documentation Generators
Sort
View
COMPLEXITY
2006
91views more  COMPLEXITY 2006»
15 years 4 months ago
The evolution of technology within a simple computer model
Technology--the collection of devices and methods available to human society--evolves by constructing new devices and methods from ones that previously exist, and in turn offering...
W. Brian Arthur, Wolfgang Polak
MMAS
2011
Springer
14 years 11 months ago
Scalable Bayesian Reduced-Order Models for Simulating High-Dimensional Multiscale Dynamical Systems
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
Phaedon-Stelios Koutsourelakis, Elias Bilionis
ASPLOS
2012
ACM
14 years 3 days ago
Comprehensive kernel instrumentation via dynamic binary translation
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
Peter Feiner, Angela Demke Brown, Ashvin Goel
KDD
2004
ACM
187views Data Mining» more  KDD 2004»
16 years 4 months ago
Mission-Based Navigational Behaviour Modeling for Web Recommender Systems
Web recommender systems anticipate the information needs of on-line users and provide them with recommendations to facilitate and personalize their navigation. There are many appro...
Osmar R. Zaïane, Jia Li, Robert Hayward
ASM
2010
ASM
15 years 11 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...