Sciweavers

10910 search results - page 2176 / 2182
» Input modeling using a computer algebra system
Sort
View
MCS
2006
Springer
15 years 4 months ago
A phase-field method for interface-tracking simulation of two-phase flows
For interface-tracking simulation of two-phase flows, we propose a new computational method, NS-PFM, combining Navier-Stokes (NS) equations with phase-field model (PFM). Based on ...
Naoki Takada, Masaki Misawa, Akio Tomiyama
175
Voted
LOGCOM
1998
178views more  LOGCOM 1998»
15 years 3 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
Munindar P. Singh
GAMESEC
2010
244views Game Theory» more  GAMESEC 2010»
15 years 2 months ago
The Password Game: Negative Externalities from Weak Password Practices
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
Sören Preibusch, Joseph Bonneau
AISS
2010
146views more  AISS 2010»
14 years 11 months ago
Zatara, the Plug-in-able Eventually Consistent Distributed Database
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
Bogdan Carstoiu, Dorin Carstoiu
164
Voted
TVCG
2011
163views more  TVCG 2011»
14 years 11 months ago
Scan-Based Volume Animation Driven by Locally Adaptive Articulated Registrations
—This paper describes a complete system to create anatomically accurate example-based volume deformation and animation of articulated body regions, starting from multiple in vivo...
Taehyun Rhee, John P. Lewis, Ulrich Neumann, Krish...
« Prev « First page 2176 / 2182 Last » Next »