Sciweavers

7123 search results - page 286 / 1425
» The Ordered Set of Rough Sets
Sort
View
ECP
1999
Springer
157views Robotics» more  ECP 1999»
15 years 11 months ago
SAT-Based Procedures for Temporal Reasoning
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
Alessandro Armando, Claudio Castellini, Enrico Giu...
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
15 years 11 months ago
A Formal Description of VHDL-AMS Analogue Systems
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
Tom J. Kazmierski
ICCAD
1998
IEEE
81views Hardware» more  ICCAD 1998»
15 years 11 months ago
A simultaneous routing tree construction and fanout optimization algorithm
- This paper presents an optimal algorithm for solving the problem of simultaneous fanout optimization and routing tree construction for an ordered set of critical sinks. The algor...
Amir H. Salek, Jinan Lou, Massoud Pedram
ISLPED
1998
ACM
79views Hardware» more  ISLPED 1998»
15 years 11 months ago
Low-energy embedded FPGA structures
This paper introduces an energy-efficient FPGA module, intended for embedded implementations. The main features of the proposed cell include a rich local-interconnect network, whi...
Eric Kusse, Jan M. Rabaey
FLAIRS
2008
15 years 9 months ago
CANDEL: An Algorithm for Same-Sentence Pronominal Resolution
This paper presents a syntactic path-based learning algorithm (CANDEL from CANDIDATE-ELIMINATION) for the coreference resolution of pronouns that have their antecedents in the sam...
Cristina Nicolae, Gabriel Nicolae