3388 search results - page 493 / 678 » Type-theoretic design patterns |
203
click to vote
IPSN
2011
Springer
14 years 10 months ago
2011
Springer
Having access to accurate position information is a key requirement for many wireless sensor network applications. We present the design, implementation and evaluation of SpiderBa...
220
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
194
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
250
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
Recent growth of the geospatial information on the web has made it possible to easily access various maps and orthoimagery. By integrating these maps and imagery, we can create in...
173
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...