6756 search results - page 147 / 1352 » The Structure of Visual Spaces |
133
click to vote
JAR
2007
15 years 4 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
146
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Extracting and visualizing of protein-protein interaction (PPI) from text literatures are a meaningful topic in protein science. It assists the identification of inter...
176
click to vote
CGF
2010
15 years 5 months ago
2010
Social networks collected by historians or sociologists typically have a large number of actors and edge attributes. Applying social network analysis (SNA) algorithms to these net...
146
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
- Autonomous space robots are needed for future missions such as satellite capture and large space structure construction. Precise control of these space robots is important for sp...
153
click to vote
VIZSEC
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...