9264 search results - page 290 / 1853 » Space Between Languages |
186
click to vote
EXPERT
2006
15 years 6 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
281
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Structured outputs such as multidimensional vectors or graphs are frequently encountered in real world pattern recognition applications such as computer vision, natural language pr...
205
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
142
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We find “combinatorially optimal” (guaranteed by the degree-sequence alone) independent sets for graphs and hypergraps in linear space in the semi-streaming model. We also pr...
161
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...