1585 search results - page 249 / 317 » A framework for computer-aided validation |
137
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Modeling synthetic characters which interact with objects in dynamic virtual worlds is important when we want the agents to act in an autonomous and non-preplanned way. Such inter...
134
Voted
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
153
Voted
IPSN
2010
Springer
15 years 5 months ago
2010
Springer
Photo tourism [11] is a platform that allows users to transform unstructured online digital photos into a 3D experience. Nowadays, image sensors are being extensively used to allo...
134
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
We have developed a computational framework to characterize social network dynamics in the blogosphere at individual, group and community levels. Such characterization could be us...
130
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a novel wideband modeling technique for high-performance RF passives and linear(ized) analog circuits. The new method is based on a recently proposed sdomain h...