Sciweavers

1368 search results - page 145 / 274
» Personality-Based Practical Reasoning
Sort
View
122
Voted
PDC
2004
ACM
15 years 8 months ago
Introducing participatory design in museums
This paper describes how a set of participatory design methodologies have been introduced to and adopted for museum exhibition design. It provides a brief historical account of mu...
Gustav Taxén
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 8 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
CPM
2004
Springer
86views Combinatorics» more  CPM 2004»
15 years 8 months ago
Optimizing Multiple Spaced Seeds for Homology Search
Optimized spaced seeds improve sensitivity and specificity in local homology search. Several authors have shown that multiple seeds can have better sensitivity and specificity t...
Jinbo Xu, Daniel G. Brown, Ming Li, Bin Ma
ICCS
2004
Springer
15 years 8 months ago
Routing and Wavelength Assignments in Optical WDM Networks with Maximum Quantity of Edge Disjoint Paths
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
Hyunseung Choo, Vladimir V. Shakhov
JELIA
2004
Springer
15 years 8 months ago
On the Relation Between ID-Logic and Answer Set Programming
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
Maarten Mariën, David Gilis, Marc Denecker