4839 search results - page 727 / 968 » A survey of computational complexity results in systems and ... |
154
click to vote
CIBCB
2006
IEEE
16 years 23 days ago
2006
IEEE
- The advanced protein profiling technologies can simultaneously resolve and analyze multiple proteins. Evaluating multiple proteins will be essential to establish signature proteo...
211
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an Application Specific Instruction Set Processor (ASIP) design for the implementation of a class of nonlinear image processing algorithms, the Retinex-like fi...
197
click to vote
HAPTICS
2005
IEEE
16 years 10 days ago
2005
IEEE
The increasing complexity and pervasiveness of handheld devices is demanding the development of interaction techniques explicitly tailored for mobile scenarios. This paper examine...
162
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
176
click to vote
MFCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...