Sciweavers

1232 search results - page 128 / 247
» Digraphs: theory, algorithms and applications
Sort
View
LATA
2010
Springer
14 years 4 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza
GLVLSI
2009
IEEE
159views VLSI» more  GLVLSI 2009»
14 years 4 months ago
On the complexity of graph cuboidal dual problems for 3-D floorplanning of integrated circuit design
This paper discusses the impact of migrating from 2-D to 3-D on floorplanning and placement. By looking at a basic formulation of graph cuboidal dual problem, we show that the 3-...
Renshen Wang, Chung-Kuan Cheng
WIA
2009
Springer
14 years 3 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...
CIKM
2009
Springer
14 years 3 months ago
Pure spreading activation is pointless
Almost every application of spreading activation is accompanied by its own set of often heuristic restrictions on the dynamics. We show that in constraint-free scenarios spreading...
Michael R. Berthold, Ulrik Brandes, Tobias Kö...
RECSYS
2009
ACM
14 years 3 months ago
Using twitter to recommend real-time topical news
Recommending news stories to users, based on their preferences, has long been a favourite domain for recommender systems research. In this paper, we describe a novel approach to n...
Owen Phelan, Kevin McCarthy, Barry Smyth