Sciweavers

3608 search results - page 105 / 722
» compute 2011
Sort
View
JOLLI
2011
70views more  JOLLI 2011»
14 years 11 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 7 months ago
Versatile spectral methods for point set matching
Alberto Silletti, Alessandro Abate, Jeffrey D. Axe...
NETWORK
2011
14 years 7 months ago
SWATS: Wireless sensor networks for steamflood and waterflood pipeline monitoring
Sunhee Yoon, Wei Ye, John S. Heidemann, B. Littlef...