2282 search results - page 266 / 457 » Active property checking |
136
Voted
IIE
2008
15 years 5 months ago
2008
Abstract. Biology has moved from a bench-based discipline to a bioinformational science in modern times but application of computational and analytical methods of informatics in it...
137
click to vote
NAR
2011
14 years 8 months ago
2011
The IUPHAR database is an established online reference resource for several important classes of human drug targets and related proteins. As well as providing recommended nomencla...
172
Voted
DSN
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
141
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We present a study of anonymized data capturing a month of high-level communication activities within the whole of the Microsoft Messenger instant-messaging system. We examine cha...