445 search results - page 75 / 89 » Classifying model-theoretic properties |
123
click to vote
CVPR
2011
IEEE
14 years 1 months ago
2011
IEEE
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...
INFOCOM
2011
IEEE
14 years 28 days ago
2011
IEEE
—Opportunistic ad-hoc communication enables portable devices such as smartphones to effectively exchange information, taking advantage of their mobility and locality. The nature ...
128
click to vote
IUI
2011
ACM
14 years 12 days ago
2011
ACM
Protractor 3D is a gesture recognizer that extends the 2D touch screen gesture recognizer Protractor [8] to 3D gestures. It inherits many of Protractor’s desirable properties, s...
NAR
2011
14 years 11 days ago
2011
P2CS (http://www.p2cs.org) is a specialized database for prokaryotic two-component systems (TCSs), virtually ubiquitous signalling proteins which regulate a wide range of physiolo...
100
Voted
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...