Sciweavers

662 search results - page 62 / 133
» Computing the Temporal Structure of Events in Natural Langua...
Sort
View
CONTEXT
1999
Springer
15 years 5 months ago
Contextual Inference in Computational Semantics
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
Christof Monz
EH
1999
IEEE
351views Hardware» more  EH 1999»
15 years 5 months ago
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
Marek A. Perkowski, Alan Mishchenko, Anatoli N. Ch...
103
Voted
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
16 years 1 months ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
WISE
2003
Springer
15 years 6 months ago
A Graphical Environment to Query XML Data with XQuery
XQuery, the standard query language for XML, is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to ...
Daniele Braga, Alessandro Campi
114
Voted
ISCA
2009
IEEE
136views Hardware» more  ISCA 2009»
15 years 7 months ago
ECMon: exposing cache events for monitoring
The advent of multicores has introduced new challenges for programmers to provide increased performance and software reliability. There has been significant interest in technique...
Vijay Nagarajan, Rajiv Gupta