1188 search results - page 194 / 238 » Testing Semantics: Connecting Processes and Process Logics |
173
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The combined efforts of human volunteers have recently extracted numerous facts from Wikipedia, storing them as machine-harvestable object-attribute-value triples in Wikipedia inf...
144
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
161
click to vote
ICTAI
2008
IEEE
16 years 29 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
156
click to vote
ACSC
2007
IEEE
16 years 27 days ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
204
click to vote
ISNN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...