Sciweavers

320 search results - page 11 / 64
» An Action Semantics Based on Two Combinators
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
15 years 1 months ago
Towards a Quantum Calculus: (Work in Progress, Extended Abstract)
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
Philippe Jorrand, Simon Perdrix
CAEPIA
2007
Springer
15 years 7 months ago
Heuristics for Planning with Action Costs
We introduce a non-admissible heuristic for planning with action costs, called the set-additive heuristic, that combines the benefits of the additive heuristic used in the HSP pla...
Emil Keyder, Hector Geffner
ICCAD
2005
IEEE
127views Hardware» more  ICCAD 2005»
15 years 10 months ago
Hardware synthesis from guarded atomic actions with performance specifications
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
Daniel L. Rosenband
FUZZIEEE
2007
IEEE
15 years 5 months ago
A Linguistic Multi-level Weighted Query Language to Represent User Information Needs
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
Enrique Herrera-Viedma, Antonio Gabriel Lóp...
EMNLP
2006
15 years 2 months ago
Semantic Role Labeling via Instance-Based Learning
This paper demonstrates two methods to improve the performance of instancebased learning (IBL) algorithms for the problem of Semantic Role Labeling (SRL). Two IBL algorithms are u...
Chi-san Althon Lin, Tony C. Smith