1834 search results - page 79 / 367 » PICTURE - A new Approach for Domain-Specific Process Modelli... |
174
click to vote
JSC
2010
14 years 10 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
107
click to vote
ICIP
2008
IEEE
15 years 9 months ago
2008
IEEE
A new localized and computationally efficient approach is presented for shift/space-variant image restoration. Unlike conventional approaches, it models shift-variant blurring in...
121
click to vote
DSRT
2009
IEEE
15 years 6 months ago
2009
IEEE
—Interest management is essential for real-time large-scale distributed virtual environments (DVEs) which seeks to filter irrelevant messages on the network. Many existing inter...
115
click to vote
ECIS
2004
15 years 4 months ago
2004
Companies invest large amounts of money in new technologies. Not surprisingly, much of the research carried out in relation to IT-investments has focused on the adoption of new te...
124
click to vote
TOG
2002
15 years 2 months ago
2002
A new method for the visualization of two-dimensional fluid flow is presented. The method is based on the advection and decay of dye. These processes are simulated by defining eac...