3233 search results - page 342 / 647 » Rule Modeling and Markup |
140
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
192
click to vote
BCB
2010
15 years 1 months ago
2010
Network-based genome-wide association studies (NWAS) utilize the molecular interactions between genes and functional pathways in biomarker identification. This study presents a no...
172
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a system called E-Breaker for supporting small and medium size group authoring of any kind of documents following a regular structure. The system supports a de...
180
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
171
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...