4949 search results - page 322 / 990 » Consistency and Set Intersection |
173
click to vote
CICLING
2004
Springer
16 years 6 days ago
2004
Springer
When text categorization is applied to complex tasks, it is tedious and expensive to hand-label the large amounts of training data necessary for good performance. In this paper, we...
162
Voted
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
173
Voted
ECRTS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
193
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
165
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...