Sciweavers

3954 search results - page 156 / 791
» Image-based Model Completion
Sort
View
167
Voted
SIGGRAPH
1992
ACM
15 years 10 months ago
Measuring and modeling anisotropic reflection
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
Gregory J. Ward
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
15 years 10 months ago
On-the-Fly Model Checking of Fair Non-repudiation Protocols
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
Guoqiang Li, Mizuhito Ogawa
ACSC
2004
IEEE
15 years 10 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
ITICSE
2010
ACM
15 years 10 months ago
Helping students build a mental model of computation
Introductory computer science classes are known for having a high attrition rate. Some authors believe this is due to students’ difficulties in establishing a mental model of co...
Steve Kollmansberger
CPM
2005
Springer
125views Combinatorics» more  CPM 2005»
15 years 8 months ago
Parametric Analysis for Ungapped Markov Models of Evolution
We present efficient sensitivity-analysis algorithms for two problems involving Markov models of sequence evolution: ancestral reconstruction in evolutionary trees and local ungap...
David Fernández-Baca, Balaji Venkatachalam