6800 search results - page 557 / 1360 » Testing with Functions as Specifications |
165
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Current numerical methods for assessing the statistical significance of local alignments with gaps are time consuming. Analytical solutions thus far have been limited to ...
192
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
155
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...
218
click to vote
EWSN
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. This paper introduces Crankshaft, a MAC protocol specifically targeted at dense wireless sensor networks. Crankshaft employs node synchronisation and offset wake-up sched...
186
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose script-specific post processing schemes for improving the recognition rate of online Tamil characters. At the first level, features derived at each sample point of the ...