3011 search results - page 400 / 603 » Generating XML Based Specifications of Information Systems |
112
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...
118
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
125
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
105
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
We generate hypermedia presentations from annotated media repositories using simple document structure as an intermediate phase. This poster applies Web style technologies to this...
144
click to vote
JIIS
2002
15 years 1 months ago
2002
In the traditional setting, text categorization is formulated as a concept learning problem where each instance is a single isolated document. However, this perspective is not appr...