2702 search results - page 107 / 541 » Practically Applicable Formal Methods |
MEMOCODE
2007
IEEE
15 years 4 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...
COMMA
2006
14 years 11 months ago
2006
In this paper two formal dialectic systems are described, a persuasion protocol (PP0) and a negotiation protocol (NP0), together with a method for shifting from an instance of a pe...
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
BMCBI
2010
14 years 10 months ago
2010
Background: Sustained research on the problem of determining which genes are differentially expressed on the basis of microarray data has yielded a plethora of statistical algorit...
113
click to vote
MTA
2008
14 years 10 months ago
2008
This paper presents a framework that explicitly detects events in broadcasting baseball videos and facilitates the development of many practical applications. Three phases of contr...