Sciweavers

3008 search results - page 422 / 602
» Independence in connected graphs
Sort
View
ECSQARU
2009
Springer
16 years 1 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
Vasiliki Efstathiou, Anthony Hunter
MODELS
2009
Springer
16 years 1 months ago
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be deï¬ned by a graph grammar...
Steffen Mazanek, Mark Minas
DDECS
2008
IEEE
137views Hardware» more  DDECS 2008»
16 years 1 months ago
Cluster-based Simulated Annealing for Mapping Cores onto 2D Mesh Networks on Chip
Abstract—In Network-on-Chip (NoC) application design, coreto-node mapping is an important but intractable optimization problem. In the paper, we use simulated annealing to tackle...
Zhonghai Lu, Lei Xia, Axel Jantsch
WCNC
2008
IEEE
16 years 1 months ago
Cooperative Transmission in a Wireless Cluster Based on Flow Management
—In this paper, a cooperative transmission design for a multi-node wireless cluster network is presented. It is assumed that the nodes operate in half-duplex mode and that channe...
Debdeep Chatterjee, Tan F. Wong, Tat M. Lok
COMSWARE
2007
IEEE
16 years 1 months ago
A Relative Ad hoc Localization Scheme using Optical Wireless
Abstract— Scalable network localization is key for realizing ad-hoc networks. In this paper we propose a localization scheme where nodes form a relative coordinate system of the ...
Jayasri Akella, Murat Yuksel, Shivkumar Kalyanaram...