Sciweavers

659 search results - page 8 / 132
» Binding as sets of scopes
Sort
View
EOR
2011
140views more  EOR 2011»
14 years 3 months ago
Compact bidding languages and supplier selection for markets with economies of scale and scope
Combinatorial auctions have been used in procurement markets with economies of scope. Preference elicitation is already a problem in single-unit combinatorial auctions, but it bec...
Martin Bichler, Stefan Schneider, Kemal Guler, Meh...
DATE
2008
IEEE
78views Hardware» more  DATE 2008»
15 years 6 months ago
Simultaneous FU and Register Binding Based on Network Flow Method
– With the rapid increase of design complexity and the decrease of device features in nano-scale technologies, interconnection optimization in digital systems becomes more and mo...
Jason Cong, Junjuan Xu
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 6 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
WWW
2007
ACM
16 years 27 days ago
BlogScope: spatio-temporal analysis of the blogosphere
We present BlogScope (www.blogscope.net), a system for analyzing the Blogosphere. BlogScope is an information discovery and text analysis system that offers a set of unique featur...
Nilesh Bansal, Nick Koudas
VLDB
2007
ACM
141views Database» more  VLDB 2007»
15 years 6 months ago
BlogScope: A System for Online Analysis of High Volume Text Streams
We present BlogScope (www.blogscope.net), a system for online analysis of temporally ordered streaming text, currently applied to the analysis of the Blogosphere1 . The system cur...
Nilesh Bansal, Nick Koudas