3022 search results - page 471 / 605 » Make Way for WayMaker |
177
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
－ It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
186
Voted
ASSETS
2005
ACM
15 years 9 months ago
2005
ACM
While strings and syntax trees are used by the Natural Language Processing community to represent the structure of spoken languages, these encodings are difficult to adapt to a si...
181
click to vote
CHI
2005
ACM
15 years 9 months ago
2005
ACM
The distortion caused by an interactive fisheye lens can make it difficult for people to remember items and locations in the data space. In this paper we introduce the idea of vis...
163
Voted
ISARCS
2010
15 years 9 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
206
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Dense optical flow fields are required for many applications. They can be obtained by means of various global methods which employ regularization techniques for propagating estimat...