3384 search results - page 338 / 677 » More Testable Properties |
224
click to vote
BIBE
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper discusses an ontology based language modeling text mining approach to the annotation of protein community. Communities appear to play an important role in the functional...
210
Voted
DEXAW
2006
IEEE
16 years 24 days ago
2006
IEEE
: Scalable Distributed Data Structures (SDDSs) store large scalable files over a distributed RAM of nodes in a grid or a P2P network. The files scale transparently for the applicat...
161
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
- This work aims to demonstrate the feasibility of using Electro-Rheological Fluid (ERF) actuators in orthotics, creating a new breed of rehabilitation devices. ERFs are fluids tha...
169
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
231
click to vote
WIDM
2005
ACM
16 years 9 days ago
2005
ACM
Markov models have been widely used for modelling users' navigational behaviour in the Web graph, using the transitional probabilities between web pages, as recorded in the w...