Sciweavers

289 search results - page 13 / 58
» Acyclic Type of Relationships Between Autonomous Systems
Sort
View
HICSS
2006
IEEE
108views Biometrics» more  HICSS 2006»
14 years 2 months ago
On the Nature of Knowledge: Rethinking Popular Assumptions
Knowledge management (KM) has been an increasing focus for both researchers and practitioners for more than a decade. The discussions generally have viewed the goal of KM as the a...
Brian T. Keane, Robert M. Mason
ACL
2008
13 years 10 months ago
The Tradeoffs Between Open and Traditional Relation Extraction
Traditional Information Extraction (IE) takes a relation name and hand-tagged examples of that relation as input. Open IE is a relationindependent extraction paradigm that is tail...
Michele Banko, Oren Etzioni
IAT
2010
IEEE
13 years 6 months ago
Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements
Distributed load managers exhibit thrashing where tasks are repeatedly moved between locations due to incomplete global load information. This paper shows that systems of Autonomou...
Natalia Chechina, Peter King, Phil Trinder
BIRTHDAY
2008
Springer
13 years 10 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 9 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning