Sciweavers

31686 search results - page 227 / 6338
» Resource typing in Guru
Sort
View
PERCOM
2007
ACM
16 years 9 days ago
Automatic Vehicle Type Classification Using Strain Gauge Sensors
Peter Shin, Hector Jasso, Sameer Tilak, Neil Cotof...
ISBI
2008
IEEE
15 years 7 months ago
A texture-based methodology for identifying tissue type in magnetic resonance images
Michael Barnathan, Jingjing Zhang, Erickson Mirand...
FOCS
2006
IEEE
15 years 6 months ago
The Effectiveness of Lloyd-Type Methods for the k-Means Problem
We investigate variants of Lloyd’s heuristic for clustering high dimensional data in an attempt to explain its popular
Rafail Ostrovsky, Yuval Rabani, Leonard J. Schulma...
91
Voted
ICFP
2000
ACM
15 years 5 months ago
Static enforcement of security with types
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
Christian Skalka, Scott F. Smith
90
Voted
TIC
1998
Springer
15 years 4 months ago
Type-Directed Continuation Allocation
Suppose we translate two different source languages,
Zhong Shao, Valery Trifonov