4211 search results - page 623 / 843 » Types as Abstract Interpretations |
119
click to vote
ICCAD
2005
IEEE
16 years 2 months ago
2005
IEEE
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...
142
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Wireless mesh networks are considered as a potential attractive alternative to provide broadband access to users. They have been studied extensively by the research comm...
138
click to vote
CBMS
2007
IEEE
15 years 11 months ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
141
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...
171
Voted
DASC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...