4460 search results - page 608 / 892 » Formal methods for interactive systems |
171
click to vote
DEBU
2008
15 years 6 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
161
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The placement of passive components significantly influences the EMI behavior of power electronic systems. Particularly filter components are affected by magnetic field coupling r...
197
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
Recent developments in volume visualization using standard graphics hardware provide an effective and interactive way to understand and interpret the data. Mainly based on 3d text...
160
click to vote
INEX
2005
Springer
16 years 3 days ago
2005
Springer
This is the first year for the Centre for Interactive Systems Research participation of INEX. Based on a newly developed XML indexing and retrieval system on Okapi, we extend Robe...
166
Voted
KES
2005
Springer
16 years 3 days ago
2005
Springer
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...