Sciweavers

1750 search results - page 190 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
ICSE
2004
IEEE-ACM
16 years 1 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
100
Voted
DBKDA
2009
IEEE
88views Database» more  DBKDA 2009»
15 years 5 months ago
Replay the Execution History of Rule-Based Information
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...
Essam Mansour, Hagen Höpfner
ISCIS
2009
Springer
15 years 8 months ago
Towards linking affordances with mirror/canonical neurons
— The notion of affordances is often directly linked with studies on mirror and canonical neurons as well as studies that try to relate language. In our previous work, we had dev...
Erol Sahin, Selim T. Erdogan
COORDINATION
2006
Springer
15 years 5 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
DGO
2008
99views Education» more  DGO 2008»
15 years 3 months ago
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
Borislava I. Simidchieva, Matthew Marzilli, Lori A...