2748 search results - page 232 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
150
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
When creating a cel animation, the animators often use 3D character models to add some effects on the character or to generate intermediate images between the key frames. However,...
146
click to vote
ICMCS
2007
IEEE
16 years 14 days ago
2007
IEEE
In this paper we examine a novel approach to the difficult problem of querying video databases using visual topics with few examples. Typically with visual topics, the examples a...
152
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
209
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
284
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...