1834 search results - page 79 / 367 » PICTURE - A new Approach for Domain-Specific Process Modelli... |
JSC
2010
13 years 3 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...
ICIP
2008
IEEE
14 years 3 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...
DSRT
2009
IEEE
14 years 1 days 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...
ECIS
2004
13 years 10 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...
TOG
2002
13 years 8 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...