Sciweavers

488 search results - page 40 / 98
» Simulating Context Effects in Problem Solving with AMBR
Sort
View
RTCSA
1997
IEEE
14 years 1 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
IJCNLP
2005
Springer
14 years 2 months ago
A New Method for Sentiment Classification in Text Retrieval
Traditional text categorization is usually a topic-based task, but a subtle demand on information retrieval is to distinguish between positive and negative view on text topic. In t...
Yi Hu, Jianyong Duan, Xiaoming Chen, Bingzhen Pei,...
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
14 years 1 months ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas
ICDCS
1998
IEEE
14 years 1 months ago
System Support for Partition-Aware Network Applications
Network applications and services need to be environment-aware in order to meet non-functional requirements in increasingly dynamic contexts. In this paper we consider partition a...
Özalp Babaoglu, Renzo Davoli, Alberto Montres...
DELTA
2006
IEEE
14 years 14 days ago
Using Design Patterns to Overcome Image Processing Constraints on FPGAs
The mapping of image processing algorithms to hardware is complicated by several hardware constraints including limited processing time, limited access to data and limited resourc...
K. T. Gribbon, Donald G. Bailey, Christopher T. Jo...