Sciweavers

1188 search results - page 85 / 238
» Testing Semantics: Connecting Processes and Process Logics
Sort
View
REST
2010
ACM
15 years 5 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
AIEDU
2004
71views more  AIEDU 2004»
15 years 4 months ago
Using Intelligent Feedback to Improve Sourcing and Integration in Students' Essays
Learning and reasoning from multiple documents requires students to employ the skills of sourcing (i.e., attending to and citing sources) and information integration (i.e., making ...
Mary Anne Britt, Peter M. Wiemer-Hastings, Aaron A...
ICCAD
2006
IEEE
130views Hardware» more  ICCAD 2006»
16 years 29 days ago
On bounding the delay of a critical path
Process variations cause different behavior of timingdependent effects across different chips. In this work, we analyze one example of timing-dependent effects, crosscoupling ...
Leonard Lee, Li-C. Wang
LREC
2010
229views Education» more  LREC 2010»
15 years 5 months ago
Building a Node of the Accessible Language Technology Infrastructure
We present a limited prototype of the CLARIN Language Technology Infrastructure (LTI) node, which provides several types of web services for Polish. The functionality encompasses ...
Bartosz Broda, Michal Marcinczuk, Maciej Piasecki
BMCBI
2008
159views more  BMCBI 2008»
15 years 4 months ago
Estimation and testing for the effect of a genetic pathway on a disease outcome using logistic kernel machine regression via log
Background: Growing interest on biological pathways has called for new statistical methods for modeling and testing a genetic pathway effect on a health outcome. The fact that gen...
Dawei Liu, Debashis Ghosh, Xihong Lin