1072 search results - page 196 / 215 » Object-Oriented Type Inference |
105
click to vote
MOBISYS
2009
ACM
16 years 7 days ago
2009
ACM
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
175
click to vote
POPL
2002
ACM
16 years 18 hour ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
101
click to vote
RECOMB
2005
Springer
16 years 17 hour ago
2005
Springer
Reticulation events occur frequently in many types of species. Therefore, to develop accurate methods for reconstructing phylogenetic networks in order to describe evolutionary his...
111
click to vote
CADE
2005
Springer
16 years 16 hour ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
158
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
Wireless sensor networks have created new opportunities for data collection in a variety of scenarios, such as environmental and industrial, where we expect data to be temporally ...