6770 search results - page 281 / 1354 » How GPUs Work |
103
click to vote
IJHCI
2008
15 years 3 months ago
2008
senting them at different levels of abstraction. This can make the analysis complex and unwieldy, requiring teams of analysts to manage it. A new approach to managing the complexit...
144
Voted
JAIR
2008
15 years 3 months ago
2008
Sentence compression holds promise for many applications ranging from summarization to subtitle generation. Our work views sentence compression as an optimization problem and uses...
123
click to vote
JCP
2008
15 years 3 months ago
2008
- In this paper, we are presenting a bionic approach towards real-time systems research. Observing that a cell is both real-time computing and real-time manufacturing system, the w...
133
click to vote
JANCL
2006
15 years 3 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
120
click to vote
IJAR
2007
15 years 3 months ago
2007
Various ways for decision making with imprecise probabilities—admissibility, maximal expected utility, maximality, E-admissibility, Γ-maximax, Γ-maximin, all of which are well...