Sciweavers

6610 search results - page 990 / 1322
» Community Structures of Networks
Sort
View
138
Voted
NAR
2011
211views Computer Vision» more  NAR 2011»
14 years 7 months ago
DIMA 3.0: Domain Interaction Map
Domain Interaction MAp (DIMA, available at http:// webclu.bio.wzw.tum.de/dima) is a database of predicted and known interactions between protein domains. It integrates 5807 struct...
Qibin Luo, Philipp Pagel, Baiba Vilne, Dmitrij Fri...
AAAI
2011
14 years 4 months ago
Abductive Markov Logic for Plan Recognition
Plan recognition is a form of abductive reasoning that involves inferring plans that best explain sets of observed actions. Most existing approaches to plan recognition and other ...
Parag Singla, Raymond J. Mooney
PERCOM
2008
ACM
16 years 3 months ago
Location Fingerprint Analyses Toward Efficient Indoor Positioning
Abstract--Analytical models to evaluate and predict "precision" performance of indoor positioning systems based on location fingerprinting are lacking. Such models can be...
Nattapong Swangmuang, Prashant Krishnamurthy
ICCAD
2003
IEEE
123views Hardware» more  ICCAD 2003»
16 years 1 months ago
The Y-Architecture for On-Chip Interconnect: Analysis and Methodology
The Y-architecture for on-chip interconnect is based on pervasive use of 0-, 120-, and 240-degree oriented semi-global and global wiring. Its use of three uniform directions explo...
Hongyu Chen, Chung-Kuan Cheng, Andrew B. Kahng, Io...
DSN
2009
IEEE
15 years 11 months ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...