Sciweavers

357 search results - page 50 / 72
» Isomorphism via translation
Sort
View
SIGMOD
2002
ACM
134views Database» more  SIGMOD 2002»
15 years 12 months ago
QURSED: querying and reporting semistructured data
QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularit...
Yannis Papakonstantinou, Michalis Petropoulos, Vas...
CSCW
2010
ACM
15 years 8 months ago
Characteristics of shared health reflections in a local community
We performed a content analysis of the information shared in a locally and culturally focused health application, EatWell. In EatWell, information is shared via the creation of au...
Andrea Grimes, Brian M. Landry, Rebecca E. Grinter
VMCAI
2010
Springer
15 years 6 months ago
Regular Linear Temporal Logic with Past
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
César Sánchez, Martin Leucker
GLOBECOM
2009
IEEE
15 years 6 months ago
ANTS - A Framework for Knowledge Based NAT Traversal
—Today most home networks are connected to the Internet via Network Address Translation (NAT) devices. NAT is an obstacle for services that should be accessible from the public I...
Andreas Müller, Andreas Klenk, Georg Carle
CBMS
2008
IEEE
15 years 6 months ago
Toward a Robust System to Monitor Head Motions during PET Based on Facial Landmark Detection: A New Approach
A new approach for the detection of head motions during PET scanning is presented. The proposed system includes 4 modules, which are: input module, face segmentation, facial landm...
Sergey Anishchenko, Vladislav Osinov, Dmitry Shapo...