549 search results - page 62 / 110 » Verification condition generation for conditional informatio... |
150
click to vote
WSC
2000
15 years 1 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
108
click to vote
DSOM
2004
Springer
15 years 6 months ago
2004
Springer
This paper proposes a PBNM (Policy Based Network Management) framework for automating the process of generating and distributing DiffServ configuration to network devices. The fram...
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
The proliferation of text documents on the web as well as within institutions necessitates their convenient organization to enable efficient retrieval of information. Although tex...
112
click to vote
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
By jointly applying a model-based marker-less motion capture approach and multi-view texture generation 3D Videos of human actors can be reconstructed from multi-view video stream...
114
Voted
ADS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we describe how to generate affective dialogs for multiple virtual characters based on a combination of both automatically generated and pre-scripted scenes. This is ...