Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2366
search results - page 117 / 474
»
Pfaffian Hybrid Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
94
click to vote
ATAL
2005
Springer
90
views
Intelligent Agents
»
more
ATAL 2005
»
A hybrid transfer of control model for adjustable autonomy multiagent systems
15 years 11 months ago
Download
www.cs.huji.ac.il
Michael Y. K. Cheng, Robin Cohen
claim paper
Read More »
124
click to vote
FORMATS
2005
Springer
88
views
Formal Methods
»
more
FORMATS 2005
»
Automatic Rectangular Refinement of Affine Hybrid Systems
15 years 11 months ago
Download
www.ulb.ac.be
Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...
claim paper
Read More »
142
click to vote
MATA
2005
Springer
157
views
Communications
»
more
MATA 2005
»
APHIDS++: Evolution of A Programmable Hybrid Intrusion Detection System
15 years 11 months ago
Download
www.cs.ubc.ca
Mohammed S. Alam, Abhishek Gupta, Jake Wires, Son ...
claim paper
Read More »
170
click to vote
SAFECOMP
2004
Springer
242
views
Security Privacy
»
more
SAFECOMP 2004
»
A Hybrid Testing Methodology for Railway Control Systems
15 years 11 months ago
Download
www.math.unipd.it
Giuseppe De Nicola, Pasquale di Tommaso, Rosaria E...
claim paper
Read More »
112
click to vote
ATS
2003
IEEE
84
views
Hardware
»
more
ATS 2003
»
Test Time Minimization for Hybrid BIST of Core-Based Systems
15 years 11 months ago
Download
eprints.ecs.soton.ac.uk
Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, ...
claim paper
Read More »
« Prev
« First
page 117 / 474
Last »
Next »