Sciweavers

7064 search results - page 1103 / 1413
» From States to Histories
Sort
View
CIA
2008
Springer
15 years 8 months ago
Towards a Monitoring Framework for Agent-Based Contract Systems
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means...
Noura Faci, Sanjay Modgil, Nir Oren, Felipe Rech M...
CIKM
2008
Springer
15 years 8 months ago
The role of syntactic features in protein interaction extraction
Most approaches for protein interaction mining from biomedical texts use both lexical and syntactic features. However, the individual impact of these two kinds of features on the ...
Timur Fayruzov, Martine De Cock, Chris Cornelis, V...
176
Voted
ASPDAC
2005
ACM
107views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Constraint extraction for pseudo-functional scan-based delay testing
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...
Yung-Chieh Lin, Feng Lu, Kai Yang, Kwang-Ting Chen...
ICALP
2010
Springer
15 years 8 months ago
Example-Guided Abstraction Simplification
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
Roberto Giacobazzi, Francesco Ranzato
ICCHP
2010
Springer
15 years 8 months ago
Redefining Assumptions: Accessibility and Its Stakeholders
Abstract. Accessibility is becoming more and more relevant in Information technologies, such as the Web and software applications, particularly due to the push on legislation to ma...
Rui Lopes, Karel Van Isacker, Luís Carri&cc...
« Prev « First page 1103 / 1413 Last » Next »