Sciweavers

7366 search results - page 632 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
175
Voted
SSR
1997
98views more  SSR 1997»
15 years 8 months ago
Toward Software Plug-and-Play
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
François Bronsard, Douglas Bryan, Wojtek Ko...
TCS
2002
15 years 6 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer
CIKM
2009
Springer
16 years 1 months ago
Using opinion-based features to boost sentence retrieval
Opinion mining has become recently a major research topic. A wide range of techniques have been proposed to enable opinion-oriented information seeking systems. However, little is...
Ronald T. Fernández, David E. Losada
LREC
2008
88views Education» more  LREC 2008»
15 years 8 months ago
Talking and Looking: the SmartWeb Multimodal Interaction Corpus
Nowadays portable devices such as smart phones can be used to capture the face of a user simultaneously with the voice input. Server based or even embedded dialogue system might u...
Florian Schiel, Hannes Mögele
CADE
2004
Springer
16 years 7 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang