4075 search results - page 755 / 815 » Modeling Distributed Algorithm Using B |
152
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
When search is against structured documents, it is beneficial to extract information from user queries in a format that is consistent with the backend data structure. As one step...
154
click to vote
MIR
2010
ACM
15 years 9 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...
137
Voted
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...
141
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Effective norms, emerging from sustained individual interactions over time, can complement societal rules and significantly enhance performance of individual agents and agent soci...
165
click to vote
COMPGEOM
2006
ACM
15 years 10 months ago
2006
ACM
We extend linkage unfolding results from the well-studied case of polygonal linkages to the more general case of linkages of polygons. More precisely, we consider chains of nonove...