757 search results - page 91 / 152 » clear 2007 |
134
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
153
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
137
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
123
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— We consider a collocated wireless network where all links contend for a given channel and each link can hear others’ transmissions. Due to channel fading, the link condition ...
122
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Consider a network of, say, sensors, or P2P nodes, or bluetooth-enabled cell-phones, where nodes transmit information to each other and where links and nodes can go up or down....