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
13913
search results - page 139 / 2783
»
models 2007
Sort
relevance
views
votes
recent
update
View
thumb
title
130
click to vote
DLOG
2007
91
views
Automated Reasoning
»
more
DLOG 2007
»
Model Checking of Restricted CTL* Formulas using ALCK
15 years 8 months ago
Download
sunsite.informatik.rwth-aachen.de
Taufiq Rochaeli, Claudia Eckert
claim paper
Read More »
123
click to vote
EXACT
2007
71
views
Applied Computing
»
more
EXACT 2007
»
Generating Explanations using an Automated Planner and Modeling Reasoning Processes, Skills and Knowledge
15 years 8 months ago
Download
www.aaai.org
Alan Wheeldon, Jim Reye
claim paper
Read More »
140
click to vote
ESWS
2007
Springer
116
views
Internet Technology
»
more
ESWS 2007
»
Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era
15 years 8 months ago
Download
sisinflab.poliba.it
Azzurra Ragone
claim paper
Read More »
161
click to vote
ICC
2007
IEEE
139
views
Communications
»
more
ICC 2007
»
Decentralized Clustering In Pure P2P Overlay Networks Using Schelling's Model
15 years 8 months ago
Download
www.prism.uvsq.fr
Atul Singh, Mads Haahr
claim paper
Read More »
144
click to vote
IESA
2007
109
views
Software Engineering
»
more
IESA 2007
»
Requirements for Implementing Business Process Models through Composition of Semantic Web Services
15 years 7 months ago
Download
www.imweber.de
Ingo Weber
claim paper
Read More »
« Prev
« First
page 139 / 2783
Last »
Next »