Tag symbolic [85 articles] Export

Recent papers classified by the tag symbolic.

	Generalized Symbolic Execution for Model Checking and Testing [My Copy] In In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 553-568. by Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser posted to symbolic execution by saswat on 2009-10-15 02:53:45 as
	How symbolic gestures and words interact with each other [My Copy] Brain and Language, Vol. 110, No. 1. (23 July 2009), pp. 1-11. by Filippo Barbieri, Antimo Buonocore, Riccardo D. Volta, Maurizio Gentilucci posted to gesture speech symbolic by azeroiu on 2009-07-29 14:19:06 as along with 1 person andric
	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 365-381. by Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin posted to execution symbolic symstra test by martinrytter on 2009-07-28 10:55:19 as along with 2 people JavaJoe pfrancis
	Unit tests reloaded: parameterized unit testing with symbolic execution [My Copy] Software, IEEE In Software, IEEE, Vol. 23, No. 4. (July 2006), pp. 38-47. by N. Tillmann, W. Schulte posted to execution parameterized symbolic test unit by martinrytter on 2009-07-16 13:08:37 as along with 2 people and 2 groups coolcapri sjgaller Context-driven-testers Desgin-by-Contract
	Verification of java programs using symbolic execution and invariant generation [My Copy] In Proceedings of the 11th International SPIN Workshop on Model Checking of Software, Vol. 2989 (2004) by C. Pasareanu, W. Visser posted to execution symbolic by chikin to the group U Combinator on 2009-06-24 03:35:10 as along with 2 people scis0000001 citeilike
	A Logical Hole in the Chinese Room [My Copy] Minds and Machines by Michael Shaffer posted to chinese_room connectionist logic philosophy processing searle symbolic by djsaab on 2009-06-14 19:28:29 as
	Perceptual basis of bimanual coordination. [My Copy] Nature, Vol. 414, No. 6859. (1 November 2001), pp. 69-73. by F. Mechsner, D. Kerzel, G. Knoblich, W. Prinz posted to bimanual motor perception symbolic by davclark to the group CognAc -- Heterarchy of Control on 2009-06-04 19:23:33 as along with 2 people ttsang89 SinghalLab
	Symbolic Play in Children with Autism Spectrum Disorder [My Copy] Journal of Autism and Developmental Disorders, Vol. 37, No. 7. (August 2007), pp. 1215-1223. by Stanley, Gillian, Konstantareas, M. posted to play symbolic by BeverlyHarris on 2009-05-31 21:33:49 as
	The influence of movement cues on intermanual interactions [My Copy] Psychological Research, Vol. 70, No. 4. (27 July 2006), pp. 229-244. by Herbert Heuer, Wolfhard Klein posted to bimanual motor symbolic by davclark to the group CognAc -- Heterarchy of Control on 2009-05-28 18:35:29 as along with 1 person ttsang89
	Counterexample-guided abstraction refinement for symbolic model checking [My Copy] Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794. by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith posted to abstraction counterexample model-checking symbolic by streetlightios on 2009-05-12 03:46:24 as along with 6 people and 1 group rhishi robotact srccheck zhensong pganty dabhishe groupverif
	Artificial Intelligence: A Modern Approach (International Edition) [My Copy] (29 November 2002) by Stuart J. Russell, Peter Norvig posted to ai gofai symbolic by yaxu on 2009-05-06 15:19:26 as along with 8 people and 2 groups tomsharp fmatthes hmeyer bellatrix dullhunk spirit_of_numenor abelone mrosenki ComplexAdaptiveSystems gk-intern
	Bounded model checking [My Copy] Advances in Computers, Vol. 58 (2003) by A. Biere, A. Cimatti, E. Clarke, O. Strichman, Y. Zhu posted to bdds bounded checking model symbolic by p2p01 on 2009-04-20 06:35:02 as along with 4 people and 2 groups meolic bfraser sjgaller voronov Context-driven-testers Desgin-by-Contract
	Sequence Learning is Preserved in Individuals with Cerebellar Degeneration when the Movements are Directly Cued. [My Copy] Journal of cognitive neuroscience (27 August 2008) by Rebecca M C M. Spencer, Richard B B. Ivry posted to cerebellum motor motor-skill-review sequence symbolic by davclark to the group Skills, Automaticity and Imaging Methods on 2009-04-06 07:15:53 as along with 1 person jeclark
	A brief introduction to Cadabra: a tool for tensor computations in General Relativity [My Copy] (12 Mar 2009) by Leo Brewin posted to gr symbolic by guygurari on 2009-03-14 23:40:52 as
	Goal-Selection and Movement-Related Conflict during Bimanual Reaching Movements [My Copy] Cerebral Cortex, Vol. 16, No. 12. (December 2006), pp. 1729-1738. by Diedrichsen, Jorn, Grafton, et al. Scott, Albert, Neil, Hazeltine, Eliot, Ivry, B. Richard posted to bimanual fmri motor motor-skill-review symbolic by davclark to the group Skills, Automaticity and Imaging Methods on 2009-03-08 01:02:34 as along with 2 people and 1 group ttsang89 jefflai CognAc -- Heterarchy of Control
	Verification of Finite-State-Machine Refinements Using a Symbolic Methodology [My Copy] Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 705-705. by Stefan Hendricx, Luc Claesen posted to _to_download_springer refinement statecharts symbolic verification _to_download 1999 by leonardo on 2009-02-02 20:21:02 as along with 1 person dwei98
	Pitch Histograms in Audio and Symbolic Music Information Retrieval [My Copy] Journal of New Music Research, Vol. 32, No. 2. (2003), pp. 143-152. by George Tzanetakis, Andrey Ermolinskyi, Perry Cook posted to audio histogram information music pitch retrieval symbolic by eddymier on 2008-12-26 07:07:16 as
	Computing Symbolic Models for Verifying Cryptographic Protocols [My Copy] In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 160-173. by Marcelo Fiore, Martín Abadi posted to 2001 model protocol security symbolic verification by michaelbanks on 2008-12-15 11:58:24 as
	Motor sequence learning with the nondominant left hand. A PET functional imaging study. [My Copy] Experimental brain research. Experimentelle Hirnforschung. Expérimentation cérébrale, Vol. 146, No. 3. (October 2002), pp. 369-378. by S. T. Grafton, E. Hazeltine, R. B. Ivry posted to learning motor pet symbolic by davclark to the group Skills, Automaticity and Imaging Methods on 2008-11-20 01:11:08 as
	Moving to directly cued locations abolishes spatial interference during bimanual actions. [My Copy] Psychol Sci, Vol. 12, No. 6. (November 2001), pp. 493-498. by J. Diedrichsen, E. Hazeltine, S. Kennerley, R. B. Ivry posted to bimanual motor symbolic by davclark to the group Skills, Automaticity and Imaging Methods on 2008-11-17 20:31:21 as along with 2 people and 1 group jefflai SinghalLab CognAc -- Heterarchy of Control
	Epistemological Approach to the Process of Practice [My Copy] Minds and Machines by Richard Dazeley, Beyong Kang posted to cognition connectionist epistemology practice process symbolic by djsaab on 2008-10-17 14:27:30 as
	Bimanual cross-talk during reaching movements is primarily related to response selection, not the specification of motor parameters. [My Copy] Psychological research, Vol. 67, No. 1. (February 2003), pp. 56-70. by E. Hazeltine, J. Diedrichsen, S. W. Kennerley, R. B. Ivry posted to bimanual motor symbolic by davclark on 2008-10-07 19:40:14 as
	Doing Distinctions: Boundary Work and Symbolic Capital in Radiology [My Copy] Social Studies of Science, Vol. 38, No. 1. (1 February 2008), pp. 35-62. by Regula V. Burri posted to boundary capital ct diss distinction identity imaging medical mri radiology symbolic ultrasound work by kaniko to the group STS on 2008-09-24 23:53:26 as along with 1 group Neuroscience
	Symbolic Model Checking without BDDs [My Copy] In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207. by Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu posted to bdd-based modelchecker symbolic by hwang on 2008-08-27 18:05:26 as along with 3 people zhensong streetlightios schuh
	Symbolic Dynamics and Markov Partitions for the Stadium Billiard [My Copy] (6 Feb 1995) by Kai T. Hansen, Predrag Cvitanovic posted to billiard chaos dynamics markov nonlinear symbolic by cvitanov on 2008-07-19 04:44:13 as
	Symbol sequence statistics in noisy chaotic signal reconstruction [My Copy] Physical Review E (Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics), Vol. 51, No. 5. (1995), pp. 3871-3889. by X. Z. Tang, E. R. Tracy, A. D. Boozer, A. Debrauw, R. Brown posted to dynamics entropysequences statistics symbolic by jcvasquezb106 to the group ANR_MAPS on 2008-06-26 18:03:43 as
	Integrating BDD-Based and SAT-Based Symbolic Model Checking [My Copy] Frontiers of Combining Systems (2002), pp. 265-276. by Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella posted to bdd-based modelchecker sat-based symbolic by hwang on 2008-06-24 18:08:35 as
	The social uses of DNA in the political realm or how politics constructs DNA technology in the fight against crime [My Copy] New Genetics and Society, Vol. 27, No. 1. (2008), pp. 69-82. by Dominique Robert, Martin Dufresne posted to crime dna ndnad representation symbolic by ricmilne on 2008-05-08 10:20:21 as along with 2 people and 1 group MissShapiro AliciaA ConserveWhatExactly
	A review of symbolic analysis of experimental data [My Copy] Review of Scientific Instruments, Vol. 74, No. 2. (2003), pp. 915-930. by C. S. Daw, C. E. A. Finney, E. R. Tracy posted to data experiment sequential symbolic by bluestan on 2008-04-12 16:57:58 as along with 2 people okarsligil soramame_0518
	A Grammar of Motives. [My Copy] (31 December 1969) by Kenneth Burke posted to dramatism fieldprelim group2009 interaction sociology symbolic theory by jyew on 2008-03-19 20:45:16 as along with 2 people and 1 group rherring DougEskew Shakespeare-Theory-Politics
	Interpretation of Cultures (Basic Books Classics) [My Copy] (01 April 1977) by Clifford Geertz posted to culture ethnography fieldprelim sociology symbolic by jyew on 2008-03-19 20:30:35 as along with 15 people and 2 groups MIVA jporto kiel55 sachariew rickl zephoria sociocybernetics tystl krzywy elkabelka deleriad misskowalski GimpyBee cannedAir colleenmacklin digital_youth Cybernetics
	A Cognitive Neuroscience Perspective On Bimanual Coordination And Interference [My Copy] by Richard Ivry, Jörn Diedrichsen, Rebecca Spencer, Eliot Hazeltine, Andras Semjen posted to controller motor srt symbolic by davclark on 2008-03-17 01:04:30 as
	Emotional agents: A modeling and an application [My Copy] Information and Software Technology, Vol. 49, No. 7. (July 2007), pp. 695-716. by Khulood A. Maria, Raed A. Zitar posted to believable deliberative emotion symbolic by mrosenki on 2008-03-14 16:41:05 as
	Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams [My Copy] ACM Computing Surveys, Vol. 24, No. 3. (1992), pp. 293-318. by Randal E. Bryant posted to manipulation symbolic by estrabd on 2008-03-11 16:16:04 as
	Pregroup Grammars and Chomsky’s Earliest Examples [My Copy] Journal of Logic, Language and Information, Vol. 17, No. 2. (April 2008), pp. 141-160. by J. Lambek posted to computation language natural_language semantic symbolic by djsaab on 2008-03-04 13:42:21 as
	His Rights/Her Duties: Citizen and Mother in the Civics Discourse [My Copy] Indian Journal of Gender Studies, Vol. 10, No. 3. (1 October 2003), pp. 379-404. by Rubina Saigol posted to symbolic violence by billnew on 2008-01-19 15:06:58 as
	Mexican Immigrants in U.S. Schools: Targets of Symbolic Violence [My Copy] Educational Policy, Vol. 13, No. 3. (1 July 1999), pp. 347-370. by Sheila M. Shannon, Kathy Escamilla posted to symbolic violence by billnew on 2008-01-19 15:04:28 as
	Symbolic model checking of UML statechart diagrams with an integrated approach [My Copy] Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the In Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the (2004), pp. 337-346. by Vitus S. W. Lam, J. Padget posted to 2004 checking model statecharts symbolic uml by leonardo on 2007-12-18 11:30:57 as
	On Landscapes in the Ancient near East [Landscapes: Territories, Frontiers, and Horizons in the Ancient Near East (L. Milano; S. de Martino; F. M. Fales; G. B. Lanfranchi)] [My Copy] by Adam T. Smith posted to landscape symbolic by Pharillon on 2007-11-17 02:52:43 as
	The Making of an Urartian Landscape in Southern Transcaucasia: A Study of Political Architectonics [My Copy] American Journal of Archaeology, Vol. 103, No. 1. (1999), pp. 45-71. by Adam T. Smith posted to symbolic by Pharillon on 2007-11-17 02:51:17 as
	Doors of Perception: Power and Representation in Bali [My Copy] Cultural Anthropology, Vol. 10, No. 4. (1995), pp. 472-508. by Margaret J. Wiener posted to symbolic by Pharillon on 2007-11-17 02:40:04 as
	Integration and Social Reproduction in the Carolingian Empire [My Copy] World Archaeology, Vol. 23, No. 3. (1992), pp. 320-334. by John Moreland, Robert Van de Noort posted to symbolic by Pharillon on 2007-11-17 02:25:10 as
	Visions of Power: Imagery and Symbols in Late Iron Age Britain [My Copy] by John Creighton posted to symbolic by Pharillon on 2007-11-17 02:23:04 as
	Image and Authority in the Coinage of Augustus [My Copy] by Andrew Wallace-Hadrill posted to authority symbolic by Pharillon on 2007-11-17 02:19:53 as
	The Center in American Culture: Analysis and Critique [My Copy] Anthropological Quarterly, Vol. 61, No. 1. (1988), pp. 1-2. by Richard Handler posted to politics symbolic by Pharillon on 2007-11-17 02:03:33 as
	Political Symbolism [My Copy] by Abner Cohen posted to political symbolic by Pharillon on 2007-11-17 01:59:29 as
	Political Anthropology: The Analysis of the Symbolism of Power Relations [My Copy] by Abner Cohen posted to politics symbolic by Pharillon on 2007-11-17 01:57:57 as along with 3 people mvidart squeezer pickinjava
	Strategies of Legitimation and the Aztec State [My Copy] Ethnology, Vol. 23, No. 4. (1984), pp. 301-314. by Donald V. Kurtz posted to symbolic by Pharillon on 2007-11-17 01:55:13 as
	Political Drama in Poland: The Use of National Symbols [My Copy] Anthropology Today, Vol. 6, No. 4. (1990), pp. 10-13. by Longina Jakubowska posted to symbolic by Pharillon on 2007-11-17 01:54:23 as
	The Archaeology of Symbols [My Copy] by John E. Robb posted to symbolic by Pharillon on 2007-11-17 01:53:07 as

Note: You may cite this page as: http://www.citeulike.org/tag/symbolic

Result page: 1 2 Next

motor	15
bimanual	10
book	10
identity	8
work	8
logic	7
capital	6
computation	6
culture	6
execution	6
information	6
algorithm	5
business	5
comm_research	5
comm_theory	5
cultural_theory	5
cybersociology	5
discourse	5
future	5
identification	5
information_exchange	5
internet	5
km	5
metaphor	5
networks	5
org_culture	5
organizational_identification	5
rhetoric_new_media	5
semiotic	5
social_interaction	5
sociology	5
tagging	5
web_20	5
dynamics	4
language	4
motor-skill-review	4
boundary	3
complexity	3
connectionist	3
ct	3
diss	3
distinction	3
evaluation	3
fieldprelim	3
fmri	3
imaging	3
interaction	3
learning	3
math	3
medical	3
model	3
mri	3
philosophy	3
radiology	3
ultrasound	3
verification	3
abstraction	2
ai	2
automata	2
bdd-based	2
cerebellum	2
checking	2
dramatism	2
entropysequences	2
fem	2
interactionism	2
model-checking	2
modelchecker	2
neural	2
perception	2
pet	2
play	2
politics	2
representation	2
sequence	2
statecharts	2
statistics	2
systems	2
test	2
theory	2
violence	2
1999	1
2004	1
billiard	1
chinese_room	1
development	1
emotion	1
genre	1
joint	1
library	1
nonlinear	1
parameterized	1
pre-print	1
process	1
properties	1
psychology	1
sat-based	1
savageminds	1
spain	1
transition-system	1

Tag symbolic [85 articles] Export

Related Tags