4949 search results - page 322 / 990 » Consistency and Set Intersection |
196
Voted
CICLING
2004
Springer
16 years 26 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...
183
click to vote
FOSSACS
2004
Springer
16 years 25 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...
188
click to vote
ECRTS
2003
IEEE
16 years 22 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...
218
click to vote
CODES
2002
IEEE
16 years 13 days 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 ...
175
Voted
DSD
2002
IEEE
16 years 12 days 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...