Sciweavers

3634 search results - page 416 / 727
» The Field Representation Language
Sort
View
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
16 years 3 months ago
Requirements and Concepts for Transaction Level Assertions
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas ...
PADL
2010
Springer
16 years 3 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
CICLING
2010
Springer
16 years 1 months ago
EusPropBank: Integrating Semantic Information in the Basque Dependency Treebank
This paper deals with theoretical problems found in the work that is being carried out for annotating semantic roles in the Basque Dependency Treebank (BDT). We will present the re...
Izaskun Aldezabal, María Jesús Aranz...
VL
2006
IEEE
106views Visual Languages» more  VL 2006»
16 years 19 days ago
Relo: Helping Users Manage Context during Interactive Exploratory Visualization of Large Codebases
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...
Vineet Sinha, David R. Karger, Rob Miller
SAC
2005
ACM
16 years 5 days ago
Knowledge based approach to semantic composition of teams in an organization
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...