4460 search results - page 739 / 892 » Formal methods for interactive systems |
154
click to vote
GRAPHICSINTERFACE
2011
14 years 7 months ago
2011
In this paper we introduce the notion that artists should be able to control fluid simulations by providing examples of expected local fluid behavior (for instance, an artist mi...
156
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Improving coding and spatial pooling for bag-of-words based feature design have gained a lot of attention in recent works addressing object recognition and scene classification. ...
152
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
114
click to vote
COMPLEX
2009
Springer
15 years 10 months ago
2009
Springer
To probe network characteristics, two predominant ways of network comparison are global property statistics and subgraph enumeration. However, they suffer from limited information...
138
click to vote
ICALT
2008
IEEE
15 years 10 months ago
2008
IEEE
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...