2409 search results - page 330 / 482 » Logical systems for structured specifications |
140
click to vote
AAAI
2000
15 years 5 months ago
2000
Text mining concerns applying data mining techniques to unstructured text. Information extraction (IE) is a form of shallow text understanding that locates specific pieces of data...
ENTCS
2006
15 years 4 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
149
click to vote
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Electronic commerce has been one of the traditional arenas for agent technology. The complexity of these applications has been a challenge for researchers that have devel...
141
Voted
ACTA
2002
15 years 3 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
107
click to vote
TKDE
2002
15 years 3 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...