5075 search results - page 936 / 1015 » Model-based interface development |
140
click to vote
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
106
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
3D object design has many applications including flexible 3D sketch input in CAD, computer game, webpage content design, image based object modeling, and 3D object retrieval. Most...
224
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
In this demo we introduce GuruMine, a pattern mining system for the discovery of leaders, i.e., influential users in social networks, and their tribes, i.e., a set of users usually...
194
click to vote
ICDE
1998
IEEE
16 years 1 months ago
1998
IEEE
We have developed a MultiMedia Visual Information Seeking (MMVIS) Environment that is the first system to support an integrated approach to the direct manipulation specification o...
178
click to vote
GIS
2008
ACM
16 years 28 days ago
2008
ACM
Information and specifically Web pages may be organized, indexed, searched, and navigated using various metadata aspects, such as keywords, categories (themes), and also space. Wh...