Sciweavers

3608 search results - page 105 / 722
» compute 2011
Sort
View
JOLLI
2011
70views more  JOLLI 2011»
15 years 2 months ago
Typability in Partial Applicative Structures
Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures. Keywords Partial applicative struc...
Inge Bethke, Piet Rodenburg
PRL
2011
14 years 10 months ago
Versatile spectral methods for point set matching
Alberto Silletti, Alessandro Abate, Jeffrey D. Axe...
NETWORK
2011
14 years 10 months ago
SWATS: Wireless sensor networks for steamflood and waterflood pipeline monitoring
Sunhee Yoon, Wei Ye, John S. Heidemann, B. Littlef...