2000 search results - page 389 / 400 » The Dynamics of Syntactic Knowledge |
127
click to vote
AAAI
2008
15 years 27 days ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
BIS
2009
15 years 26 days ago
2009
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
119
click to vote
BPM
2009
Springer
15 years 26 days ago
2009
Springer
Nowadays, all kinds of information systems store detailed information in logs. Examples of such systems include classical workflow management systems (Staffware), ERP systems (SAP)...
151
click to vote
ECRTS
2010
IEEE
15 years 26 days ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
114
click to vote
ALMOB
2008
14 years 12 months ago
2008
Background: Identification of homologous regions or conserved syntenies across genomes is one crucial step in comparative genomics. This task is usually performed by genome alignm...