2702 search results - page 386 / 541 » Practically Applicable Formal Methods |
132
click to vote
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
Tracking the identities of moving objects is an important aspect of most multi-object tracking applications. Uncertainty in sensor data, coupled with the intrinsic difficulty of ...
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
135
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
131
click to vote
FSTTCS
1998
Springer
15 years 6 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
174
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...