1763 search results - page 152 / 353 » Visualize and Open Up |
146
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
133
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Magnetic helical medical microrobots are promising for use in open fluid, lumen, and soft-tissue environments and will enable minimally invasive access to hard-to-reac...
172
Voted
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
147
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Continuous SPARQL (C-SPARQL) is a new language for continuous queries over streams of RDF data. CSPARQL queries consider windows, i.e., the most recent triples of such streams, ob...
181
click to vote
SPEECH
2010
15 years 4 months ago
2010
This paper gives an overview of automatic speaker recognition technology, with an emphasis on text-independent recognition. Speaker recognition has been studied actively for sever...