Sciweavers

2357 search results - page 142 / 472
» Computing Refactorings of Behavior Models
Sort
View
CA
2003
IEEE
15 years 8 months ago
Modeling Hair Using Level-of-Detail Representations
: We present a novel approach for modeling hair using level-of-detail representations. The set of representations include individual strands, hair clusters, and hair strips. They a...
Kelly Ward, Ming C. Lin, Joohi Lee, Susan Fisher, ...
DANCE
2002
IEEE
15 years 8 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
AINA
2004
IEEE
15 years 6 months ago
A Mathematical Model for Analyzing the Proxy Bidding Method for Mobile Agent-Based Auction Services
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
Jie Zhang, Henry C. B. Chan
ACL
2011
14 years 6 months ago
Integrating surprisal and uncertain-input models in online sentence comprehension: formal techniques and empirical results
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
Roger Levy
IJON
2010
127views more  IJON 2010»
15 years 1 months ago
Oscillation in a network model of neocortex
A basic understanding of the relationship between activity of individual neurons and macroscopic electrical activity of local field potentials or electroencephalogram (EEG) may pro...
Jennifer Dwyer, Hyong Lee, Amber Martell, Rick L. ...